dada-lang / dada
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.
☆446Updated 10 months ago
Alternatives and similar repositories for dada:
Users that are interested in dada are comparing it to the libraries listed below
- Incremental garbage collection from safe Rust☆612Updated last month
- WebAssembly implementation from scratch in Safe Rust with zero dependencies☆441Updated 6 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆217Updated 3 months ago
- Use Tree Sitter to parse your own languages in Rust☆625Updated 3 months ago
- Refinement Types for Rust☆687Updated this week
- ☆313Updated 3 months ago
- A precise specification for "Rust lite / MIR plus"☆837Updated last month
- ☆732Updated this week
- A list of programming languages implemented in Rust, for inspiration.☆906Updated 2 weeks ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,106Updated last year
- Beautiful diagnostic reporting for text-based programming languages.☆1,127Updated last week
- A tiny, interpreted WebAssembly Runtime written in Rust☆490Updated this week
- Easy declarative web interfaces.☆394Updated this week
- single file, std only, async Rust executor☆552Updated 4 months ago
- Compiler front-end foundation technology.☆449Updated 3 months ago
- Data structure serialization library with several opposite design goals from Serde☆830Updated this week
- A fast and flexible allocator for no_std and WebAssembly☆441Updated 2 months ago
- The parallel, concurrent, and functional programming language for scalable software development☆452Updated this week
- A simple, expressive, embeddable programming language☆579Updated this week
- Making parsing a breeze☆671Updated this week
- Logic programming in Rust☆452Updated this week
- Command line parser with applicative interface☆367Updated this week
- Language development libraries for Rust☆929Updated 2 months ago
- A language for building concurrent software with confidence☆1,020Updated this week
- Rust grammar tool libraries and binaries☆528Updated this week
- An intepreter for a simple dynamic language written in Rust☆290Updated 6 months ago
- Capability-oriented version of the Rust standard library☆673Updated 2 weeks ago
- JIT compiler and runtime for a toy language, using Cranelift☆664Updated last year
- An implementation of Joshua Yanovski's Ghost Cell paper.☆456Updated last year
- Datalog compiler embedded in Rust as a procedural macro☆467Updated 11 months ago