Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Repository Index
71,372 visible repositories in the index
1–24 of 28 · Most stars
Go compiler for small places. Microcontrollers, WebAssembly (WASM/WASI), and command-line tools. Based on LLVM.
- microcontroller
- tinygo
- llvm
- wasm
A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
NumPy aware dynamic Python compiler using LLVM
The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.
- wren
- scripting-languages
- c
- fibers
a language for fast, portable data-parallel computation
A Small C Compiler
A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
:zap: Walt is a JavaScript-like syntax for WebAssembly text format :zap:
- compiler
- webassembly
- javascript
C# as you know it but with Go-inspired tooling (small, selfcontained, and native executables)
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
:boom::computer::boom: A data-parallel functional programming language
Malloy is a modern open source language for describing data relationships and transformations.
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
The CompCert formally-verified C compiler
ILGPU JIT Compiler for high-performance .Net GPU programs
Simple C compiler
- c-compiler
- compiler
- dos
- x86
Open Watcom V2.0 - Source code repository, Wiki, Latest Binary build, Archived builds including all installers for download.
A PHP-to-native compiler. Takes a subset of PHP - including eval() - and compiles it directly to native assembly, producing standalone binaries for macOS ARM64, Linux ARM64, and Linux x86_64. No VM, no external runtime, no dependencies: dynamic eval falls back to an optional statically linked interpreter.
Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic dispatch.
A modern supercompiler for call-by-value functional languages