Lists (21)
Stars
Open source comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural editing
A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.
JavaScript UI framework for declarative async & animation, compact, Rebol-like syntax.
Agda is a dependently typed programming language / interactive theorem prover.
Empowering everyone to build reliable and efficient software.
A static website compiler library in Haskell
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
Create cross-platform classic RPGs in 2D and 3D with powerful built-in world editing tools.
A catalogue of Rust design patterns, anti-patterns and idioms
Struct fields that are made read-only accessible to other modules
Find out what takes most of the space in your executable.
A Jujutsu tutorial that requires no previous experience with Git or other version control systems.
A Git-compatible VCS that is both simple and powerful
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
A menagerie of cute implementations of modern typechecking algorithms
Lisp in 99 lines of C and how to write one yourself. Includes 21 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.
Gaming meets modern C++ - a fast and reliable entity component system (ECS) and much more
Irmin is a distributed database that follows the same design principles as Git
Native WebGPU implementation based on wgpu-core
An asynchronous distributed actor framework in Rust with robust observability