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 last month
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☆726Updated last month
- Refinement Types for Rust☆740Updated this week
- A precise specification for "Rust lite / MIR plus"☆874Updated last week
- Use Tree Sitter to parse your own languages in Rust☆650Updated last month
- ☆317Updated 7 months ago
- ☆753Updated last week
- Beautiful diagnostic reporting for text-based programming languages.☆1,189Updated last week
- A simple, expressive, embeddable programming language☆752Updated last week
- Easy declarative web interfaces.☆396Updated 2 months ago
- WebAssembly implementation from scratch in Safe Rust with zero dependencies☆450Updated 11 months ago
- Making parsing a breeze☆741Updated last week
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆220Updated 7 months ago
- A list of programming languages implemented in Rust, for inspiration.☆958Updated last week
- single file, std only, async Rust executor☆574Updated 8 months ago
- Rust programs written entirely in Rust☆842Updated last month
- Algebraic effects for Rust☆618Updated 11 months ago
- The parallel, concurrent, and functional programming language for scalable software development☆457Updated this week
- Runtime for executing procedural macros as WebAssembly☆1,389Updated last month
- Data structure serialization library with several opposite design goals from Serde☆867Updated 2 weeks ago
- Rust grammar tool libraries and binaries☆548Updated last week
- Minimalistic snapshot testing for Rust.☆280Updated 6 months ago
- JIT compiler and runtime for a toy language, using Cranelift☆690Updated 2 months ago
- A fast and flexible allocator for no_std and WebAssembly☆483Updated last week
- Cycle-tracking garbage collector library for Rust☆185Updated last week
- Creusot helps you prove your code is correct in an automated fashion.☆1,285Updated this week
- Capability-oriented version of the Rust standard library☆691Updated 2 months ago
- Lifetime-Friendly, Component-Based, Retained-Mode UI Powered by Async Rust☆562Updated 5 months ago
- Crafting Interpreters in Rust☆295Updated 2 years ago
- Compile-time reference counting☆450Updated last month
- Command line parser with applicative interface☆385Updated 3 weeks ago