Stars
⚗️ | System F-ω pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.
Build rich content websites with Markdown and React
The Noct Programming Language. Noct is a tiny and fast scripting language featuring a JIT virtual machine, a robust generational GC, and a novel Dictionary-based OOP paradigm.
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
The parallel, concurrent, and functional programming language for scalable software development
Decision procedures for Presburger arithmetic in Haskell
PandaAGI provides a simple, intuitive API for building general AI agents in just a few lines of code
A friendly programming language from the future
Pure functional programming with whole-program mutability inference
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
OpenAPI 3.0 (and Swagger v2) implementation for Go (parsing, converting, validation, and more)
The docs of MoonBit programming language
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
Distributed transactional key-value database, originally created to complement TiDB
A lightweight Database GUI in your browser. It supports connecting to Postgres, MySQL, and SQLite.
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
Virtual whiteboard for sketching hand-drawn like diagrams