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 week
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☆716Updated last month
- A precise specification for "Rust lite / MIR plus"☆868Updated last week
- Refinement Types for Rust☆738Updated this week
- Use Tree Sitter to parse your own languages in Rust☆648Updated 3 weeks ago
- ☆316Updated 7 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆218Updated 7 months ago
- WebAssembly implementation from scratch in Safe Rust with zero dependencies☆447Updated 10 months ago
- Making parsing a breeze☆734Updated 3 weeks ago
- JIT compiler and runtime for a toy language, using Cranelift☆685Updated last month
- A list of programming languages implemented in Rust, for inspiration.☆947Updated last month
- Data structure serialization library with several opposite design goals from Serde☆860Updated 2 weeks ago
- ☆751Updated 3 weeks ago
- Beautiful diagnostic reporting for text-based programming languages.☆1,186Updated last month
- A fast and flexible allocator for no_std and WebAssembly☆474Updated last month
- Rust programs written entirely in Rust☆833Updated last month
- Runtime for executing procedural macros as WebAssembly☆1,387Updated 2 weeks ago
- Capability-oriented version of the Rust standard library☆689Updated last month
- A simple, expressive, embeddable programming language☆749Updated this week
- historical archive of rust pre-publication development☆682Updated 6 months ago
- Logic programming in Rust☆466Updated 3 weeks ago
- A fast bump allocation arena for Rust☆1,753Updated this week
- A fast and ergonomic concurrent hashmap for read-heavy workloads.☆730Updated 2 weeks ago
- A minimal `syn` syntax tree pretty-printer☆703Updated this week
- single file, std only, async Rust executor☆574Updated 7 months ago
- Command line parser with applicative interface☆384Updated last week
- ☆487Updated 7 months ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,272Updated last week
- Attribute macro to require that the compiler prove a function can't ever panic☆1,132Updated 2 months ago
- Minimalistic snapshot testing for Rust.☆271Updated 5 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,391Updated this week