dada-lang / dadaLinks
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.
☆484Updated 6 months ago
Alternatives and similar repositories for dada
Users that are interested in dada are comparing it to the libraries listed below
Sorting:
- Incremental garbage collection from safe Rust☆781Updated this week
- WebAssembly implementation from scratch in Safe Rust with zero dependencies☆452Updated last year
- A precise specification for "Rust lite / MIR plus"☆945Updated last week
- ☆325Updated last month
- Use Tree Sitter to parse your own languages in Rust☆682Updated 5 months ago
- Refinement Types for Rust☆802Updated this week
- ☆801Updated 4 months ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,261Updated last month
- A simple, expressive, embeddable programming language☆845Updated this week
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆230Updated last year
- A tiny, interpreted WebAssembly Runtime written in Rust☆545Updated 2 months ago
- Minimalistic snapshot testing for Rust.☆297Updated 11 months ago
- A list of programming languages implemented in Rust, for inspiration.☆998Updated 4 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,152Updated 8 months ago
- The parallel, concurrent, and functional programming language for scalable software development☆463Updated 2 weeks ago
- Rust grammar tool libraries and binaries☆566Updated last week
- Command line parser with applicative interface☆414Updated 3 weeks ago
- single file, std only, async Rust executor☆577Updated last year
- Algebraic effects for Rust☆646Updated last year
- Cycle-tracking garbage collector library for Rust☆203Updated last month
- an experimental new programming language based on interaction nets☆330Updated this week
- Learn to make your own programming language with Rust☆267Updated 3 years ago
- A fast and flexible allocator for no_std and WebAssembly☆519Updated 5 months ago
- Compiler front-end foundation technology.☆478Updated 3 weeks ago
- historical archive of rust pre-publication development☆699Updated last year
- Resilient LL(1) parser generator for Rust☆182Updated 2 weeks ago
- Easy declarative web interfaces.☆397Updated 2 months ago
- Capability-oriented version of the Rust standard library☆727Updated last month
- A pure functional language for type-level programming in Rust☆336Updated 3 years ago
- ☆214Updated last year