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.
☆458Updated this week
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☆639Updated this week
- Use Tree Sitter to parse your own languages in Rust☆632Updated last month
- A precise specification for "Rust lite / MIR plus"☆841Updated this week
- ☆316Updated 4 months ago
- Refinement Types for Rust☆705Updated this week
- A language for building concurrent software with confidence☆1,103Updated this week
- ☆737Updated 2 weeks ago
- A simple, expressive, embeddable programming language☆583Updated this week
- WebAssembly implementation from scratch in Safe Rust with zero dependencies☆443Updated 8 months ago
- Rust programs written entirely in Rust☆814Updated 2 weeks ago
- A list of programming languages implemented in Rust, for inspiration.☆921Updated last month
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆216Updated 4 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,110Updated last year
- Beautiful diagnostic reporting for text-based programming languages.☆1,138Updated last week
- Command line parser with applicative interface☆375Updated last week
- Data structure serialization library with several opposite design goals from Serde☆845Updated 2 weeks ago
- A fast and flexible allocator for no_std and WebAssembly☆452Updated 4 months ago
- single file, std only, async Rust executor☆564Updated 5 months ago
- A fast bump allocation arena for Rust☆1,613Updated 3 weeks ago
- Runtime for executing procedural macros as WebAssembly☆1,362Updated 2 weeks ago
- Making parsing a breeze☆686Updated last week
- Easy declarative web interfaces.☆394Updated this week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,264Updated this week
- A utf8 text rope for manipulating and editing large texts.☆1,438Updated 2 months ago
- Algebraic effects for Rust☆609Updated 8 months ago
- Crafting Interpreters in Rust☆286Updated 2 years ago
- A Rust API search engine☆408Updated 7 months ago
- A fancy diagnostics & error reporting crate☆1,887Updated last week
- The parallel, concurrent, and functional programming language for scalable software development☆453Updated this week
- Logic programming in Rust☆457Updated 2 weeks ago