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
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.
A standalone, portable generic Ada package for decoding images
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
amforth is an extendible interpreter on microcontrollers
Simple and flexible programming language for applications development
A standalone, portable Ada package for producing Excel spreadsheets
fast, portable Pascal compiler using gnu c as intermediate code