Repository Index

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

• programming-language
• zero-knowledge
• compiler
• zksnarks

Low-latency machine code generation

• x86
• x86-64
• jit
• assembler

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

• fsharp
• compiler
• visual-studio
• netcore

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

• compiler-backend
• async
• cuda
• gpu

A fast script language for Go

• golang
• go
• script
• embedded-language

Khronos-reference front end for GLSL/ESSL, partial front end for HLSL, and a SPIR-V generator.

• glsl
• hlsl
• compiler
• spir-v

Eclipse OpenJ9: A Java Virtual Machine for OpenJDK that's optimized for small footprint, fast start-up, and high throughput. Builds on Eclipse OMR (https://github.com/eclipse/omr) and combines with the Extensions for OpenJDK for OpenJ9 repo.

• java
• jvm
• eclipse-openj9
• compiler

jank is the native Clojure dialect with seamless C++ interop.

• functional-programming
• compiler
• clojure
• language

dmd D Programming Language compiler

• compiler
• programming-language
• native
• fast

Compiles Java bytecode to JavaScript, WebAssembly and C

• aot
• java
• javascript
• jvm

VHDL 2008/93/87 simulator

• vhdl
• ghdl
• simulator
• testbench

clasp Common Lisp environment

• common-lisp
• compiler
• lisp

PeachPie - the PHP compiler and runtime for .NET and .NET Core

• php-compiler
• roslyn
• php
• peachpie

Incremental rust builds up to 92x faster than cargo/rustc

• cargo
• compiler
• cranelift
• developer-tools

A Rust compiler backend targeting CIL(.NET IR) and C.

• backend
• compiler
• csharp
• dotnet

TranslatedThe Wa Programming Language

• programming-language
• wa
• language
• wa-lang

ILGPU JIT Compiler for high-performance .Net GPU programs

• ilgpu
• jit
• gpu
• compiler

The Lux Programming Language

• language
• programming-language
• macros
• functional-programming

JPHP - an implementation of PHP on Java VM

• php
• php-language
• jvm
• bytecode

An experimental Rust port of the TypeScript 7 compiler (tsc)

• compiler
• rust
• tsc
• typescript

Simple C compiler

• c-compiler
• compiler
• dos
• x86

A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages

• programming-language
• compiler
• virtual-machine
• ring

A real .NET Handlebars engine

• handlebars
• c-sharp
• mustache
• dotnet

An esoteric programming language, come se fosse antani.