Repository Index

A TypeScript compiler for gulp with incremental compilation support.

P4_16 reference compiler

• p4
• p4c
• p4language
• p4lang

Clspv is a compiler for OpenCL C to Vulkan compute shaders

• spirv
• vulkan-compute-shaders
• opencl
• spir

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

• sql
• compiler
• typechecker
• sqlite

:musical_note: strongly-timed musical programming language

• language
• composition
• programming-language
• synthesis

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library

• dbc
• c
• misra
• automotive

A scripting language for .NET Core

• c-sharp
• programming-language
• mond
• scripting

An implementation of Python in Common Lisp

• common-lisp
• python
• compiler

Language for high-assurance and high-speed cryptography

• compiler
• language
• coq

SquirrelJME is a Java ME 8 Virtual Machine for embedded and Internet of Things devices. It has the ultimate goal of being 99.9% compatible with the Java ME standard.

• squirreljme
• java
• java-me
• iot

C to Common Lisp compiler

A JIT Compiler and Runtime for Java in Common Lisp

Static ARM64 to x86 recompiler (GPLv3)

• arm64
• hle
• recompiler
• aarch64

Compile C# and .NET CIL to small standalone Wasm with WASI (AOT with built-in Runtime and Precise GC)

• compiler
• csharp
• dotnet
• wasm

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

Common Lisp to JavaScript compiler

The Snazzy D Compiler

Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.

• matlab
• rust
• jit-compiler
• linear-algebra

JavaScript Engine for .NET

• netcore
• standard
• csharp
• csharp-library

[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)

Lisp to GLSL Language Translator

• lisp
• common-lisp
• compiler
• glsl

Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.

• linker-flags
• cmake
• compiler-flags
• unity-build

A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.