Lean 4 programming language and theorem prover
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
JavaScript to WASM compiler
A growing collection of beautifully designed UI components for Go
Lightweight Ruby
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
ALFOUR Programming language. Simple, safe, power, multi-platform.
ECLiPSe Constraint Logic Programming System
amforth is an extendible interpreter on microcontrollers
Simple and flexible programming language for applications development
fast, portable Pascal compiler using gnu c as intermediate code
A real time inference engine for temporal logical specifications
General purpose algebraic metaprogramming
A compiler for APIs described by the OpenAPI Specification with plugin
Translates state machine into a target programming language.
A statically typed concatenative systems programming language
Implementations for the Revised Report language
Java bytecode to WebAssembly compiler