Lean 4 programming language and theorem prover
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
The programming language for agents
Serialization/RPC system - core tools and C++ library
cuda-oxide is an experimental Rust-to-CUDA compiler
JavaScript to WASM compiler
A friendly Forth compiler with a little difference
A growing collection of beautifully designed UI components for Go
The internationalization (i18n) library for Angular
A Python library for quantum programming using Quil
GoNB, a Go Notebook Kernel for Jupyter
Lightweight Ruby
Parallel OS, with GUI, Terminal, OO Assembler, Class libraries
C compiler and dev kit for the z80 with assembly language libraries.
Interpreter and compiler for the Seed7 programming language.
A standalone, portable generic Ada package for decoding images
PEARL Compiler and Runtime System
The GNU Prolog native compiler
ALFOUR Programming language. Simple, safe, power, multi-platform.
A whole-program optimizing compiler for Standard ML
A typed language that compiles to Python, Bash and bytecode
ECLiPSe Constraint Logic Programming System
amforth is an extendible interpreter on microcontrollers
SC is a C based meta/programming language/environment