Datalog with equality for rust

Open-source KVM software

VS2022 Add-in. Click on any method or class to see what .NET Core's JIT generates for them (ASM).

👼 The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.

A framework for smart contract verification in Coq

Metaprogramming, verified meta-theory and implementation of Coq in Coq

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

Inject arbitrary IL code at compile time.

Csmith, a random generator of C programs

Animation engine for explanatory math videos

Containers: a typeclass-based library of finite sets/maps

Mathematical Components

A proof of false in Coq.

Counter-Strike implementation in JavaScript

Premake

A simple visual editor for creating commutative diagrams.

Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.

Roslyn tool that for a given C# program shows syntax tree API calls to construct its syntax tree

The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions

The most cited deep learning papers

The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

SumatraPDF reader

This repo contains CoreRT, an experimental .NET Core runtime optimized for AOT (ahead of time compilation) scenarios, with the accompanying compiler toolchain.

📚 List of awesome university courses for learning Computer Science!

Industry-standard navigation-mesh toolset for games

Vim Emulator Plugin for Visual Studio 2015+

CoreCLR is the runtime for .NET Core. It includes the garbage collector, JIT compiler, primitive data types and low-level classes.