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 7 months ago
Alternatives and similar repositories for dada
Users that are interested in dada are comparing it to the libraries listed below
Sorting:
- WebAssembly implementation from scratch in Safe Rust with zero dependencies☆452Updated last year
- Incremental garbage collection from safe Rust☆787Updated 3 weeks ago
- ☆325Updated last month
- A precise specification for "Rust lite / MIR plus"☆949Updated last week
- Use Tree Sitter to parse your own languages in Rust☆682Updated 6 months ago
- ☆804Updated 5 months ago
- Refinement Types for Rust☆807Updated this week
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆230Updated last year
- A simple, expressive, embeddable programming language☆850Updated 2 weeks ago
- A list of programming languages implemented in Rust, for inspiration.☆1,003Updated 3 weeks ago
- Rust grammar tool libraries and binaries☆566Updated 3 weeks ago
- Learn to make your own programming language with Rust☆267Updated 3 years ago
- historical archive of rust pre-publication development☆703Updated last year
- The parallel, concurrent, and functional programming language for scalable software development☆465Updated last month
- Capability-oriented version of the Rust standard library☆731Updated 2 weeks ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,265Updated 2 months ago
- JIT compiler and runtime for a toy language, using Cranelift☆719Updated last month
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,152Updated 9 months ago
- Minimalistic snapshot testing for Rust.☆298Updated last year
- single file, std only, async Rust executor☆580Updated last year
- Resilient LL(1) parser generator for Rust☆183Updated last week
- Compiler front-end foundation technology.☆478Updated last month
- A pure functional language for type-level programming in Rust☆338Updated 3 years ago
- Cycle-tracking garbage collector library for Rust☆204Updated last week
- A tiny, interpreted WebAssembly Runtime written in Rust☆547Updated 2 months ago
- A programming language that is higher level than Rust but lower level than Go. Someday, anyways.☆479Updated this week
- A Rust API search engine☆426Updated last year
- Data structure serialization library with several opposite design goals from Serde☆912Updated this week
- Crafting Interpreters in Rust☆306Updated 3 years ago
- An implementation of Joshua Yanovski's Ghost Cell paper.☆492Updated last year