I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.
☆498Feb 21, 2026Updated last week
Alternatives and similar repositories for dada
Users that are interested in dada are comparing it to the libraries listed below
Sorting:
- Why can't a tree be called Pluplusch?☆28Updated this week
- A precise specification for "Rust lite / MIR plus"☆967Jan 28, 2026Updated last month
- Defines the Rust borrow checker.☆1,582Jun 6, 2025Updated 8 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,772Feb 7, 2026Updated 3 weeks ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,984Feb 8, 2026Updated 3 weeks ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,158Mar 23, 2025Updated 11 months ago
- Conditional compilation using boolean expression syntax, rather than any(), all(), not()☆290Dec 18, 2022Updated 3 years ago
- Compile-time reference counting☆456May 18, 2025Updated 9 months ago
- a model of MIR and the Rust type/trait system☆329Updated this week
- A fancy diagnostics & error reporting crate☆2,132Jan 21, 2026Updated last month
- The parallel, concurrent, and functional programming language for scalable software development☆468Nov 20, 2025Updated 3 months ago
- ☆818Jul 27, 2025Updated 7 months ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,282Oct 22, 2025Updated 4 months ago
- A minimal `syn` syntax tree pretty-printer☆743Feb 9, 2026Updated 3 weeks ago
- A safe, easy systems language☆2,205Feb 24, 2026Updated last week
- Analysis of various tricky Rust code☆1,996Dec 20, 2025Updated 2 months ago
- WebAssembly implementation from scratch in Safe Rust with zero dependencies☆457Jul 22, 2024Updated last year
- Source code for the Mun language and runtime.☆2,111Aug 12, 2025Updated 6 months ago
- Write expressive, high-performance parsers with ease.☆4,475Feb 19, 2026Updated last week
- Kani Rust Verifier☆2,969Updated this week
- Language development libraries for Rust☆984Dec 9, 2024Updated last year
- Markdown translation tool.☆17Oct 17, 2022Updated 3 years ago
- Capability-oriented version of the Rust standard library☆751Feb 15, 2026Updated 2 weeks ago
- Safe Rust bindings to POSIX-ish APIs☆1,920Feb 22, 2026Updated last week
- A next-generation test runner for Rust.☆2,839Updated this week
- A language for building concurrent software with confidence☆1,257Updated this week
- Babysteps blog☆37Feb 23, 2026Updated last week
- A simple, expressive, embeddable programming language☆861Jan 19, 2026Updated last month
- Rust programs written entirely in Rust☆902Apr 30, 2025Updated 10 months ago
- std-alternative prototyping / education library☆12Dec 1, 2025Updated 3 months ago
- A static, type inferred and embeddable language written in Rust.☆3,392Dec 6, 2024Updated last year
- An experimental stackless Lua VM implemented in pure Rust☆2,075Jul 10, 2025Updated 7 months ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆500Jan 28, 2024Updated 2 years ago
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,843Mar 29, 2025Updated 11 months ago
- An interpreter for Rust's mid-level intermediate representation☆5,929Feb 24, 2026Updated last week
- Gathering some metrics about github projects☆55Feb 27, 2023Updated 3 years ago
- a debugger for async rust!☆4,422Feb 3, 2026Updated last month
- Runtime for executing procedural macros as WebAssembly☆1,472Jan 21, 2026Updated last month
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,852Feb 25, 2026Updated last week