Lean 4 programming language and theorem prover
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
Universal LLM Deployment Engine with ML Compilation
JavaScript to WASM compiler
A Forth compiler with a little difference
An LLM Compiler for Parallel Function Calling
Educational computer programming environment using Haskell
A growing collection of beautifully designed UI components for Go
Lightweight Ruby
Advanced mathematical types and functions for Swift
The internationalization (i18n) library for Angular
A Python library for quantum programming using Quil
Parallel OS, with GUI, Terminal, OO Assembler, Class libraries
GoNB, a Go Notebook Kernel for Jupyter
C compiler and dev kit for the z80 with assembly language libraries.
PEARL Compiler and Runtime System
Interpreter and compiler for the Seed7 programming language.
A standalone, portable generic Ada package for decoding images
The GNU Prolog native compiler
A whole-program optimizing compiler for Standard ML
A standalone, portable Ada package for configuration files
A standalone, portable package for producing dynamically PDF documents
ALFOUR Programming language. Simple, safe, power, multi-platform.
A standalone, portable Ada library for .zip archives
ECLiPSe Constraint Logic Programming System