Lists (10)
Stars
frioux / scaredycat
Forked from kickscondor/fraidycatFollow blogs, wikis, YouTube channels, as well as accounts on Twitter, Instagram, etc. from a single page.
skred is a polyphonic wavetable synthesizer built for flexibility and live performance
Blazing-fast LLM inference in pure Rust. No PyTorch and Python runtime.
A little language inspired by Rust that compiles to Go
An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.
Tamgu (탐구), a FIL programming language: Functional, Imperative, Logical all in one for annotation and data augmentation
Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.
Fork of libui-ng with a ton of experimental features merged in
Rust bindings to the minimalist, native, cross-platform UI toolkit `libui-ng`
libui-ng: a portable GUI library for C. "libui for the next generation"
Building better languages and tools; for some measure of better.
A small extensible programming language designed for concise expression with little code.
The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial a…
A Lean formalization of Raymond Smullyan's "To Mock a Mockingbird"
Notes and solutions from To Mock a Mockingbird
Simple, expressive & portable programming language for efficient scripting
MonsterBook (L'oeuvre inhumaine) est une application DOS écrit en Borland Pascal de 1991 à 2007