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.
☆467Updated last week
Alternatives and similar repositories for dada:
Users that are interested in dada are comparing it to the libraries listed below
- A precise specification for "Rust lite / MIR plus"☆842Updated this week
- Incremental garbage collection from safe Rust☆679Updated 3 weeks ago
- Refinement Types for Rust☆719Updated this week
- Use Tree Sitter to parse your own languages in Rust☆640Updated last month
- Beautiful diagnostic reporting for text-based programming languages.☆1,156Updated 3 weeks ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆218Updated 5 months ago
- ☆316Updated 5 months ago
- WebAssembly implementation from scratch in Safe Rust with zero dependencies☆446Updated 8 months ago
- ☆744Updated last month
- A tiny, interpreted WebAssembly Runtime written in Rust☆504Updated 2 weeks ago
- JIT compiler and runtime for a toy language, using Cranelift☆675Updated last year
- The parallel, concurrent, and functional programming language for scalable software development☆456Updated this week
- Making parsing a breeze☆702Updated last week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,292Updated this week
- A fast and flexible allocator for no_std and WebAssembly☆453Updated 4 months ago
- Runtime for executing procedural macros as WebAssembly☆1,375Updated last month
- Compiler front-end foundation technology.☆449Updated last month
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,116Updated 3 weeks ago
- A list of programming languages implemented in Rust, for inspiration.☆935Updated 2 weeks ago
- Common Expression Language interpreter written in Rust☆409Updated this week
- Creusot helps you prove your code is correct in an automated fashion.☆1,242Updated this week
- single file, std only, async Rust executor☆566Updated 6 months ago
- Rust UI design toolkit - moved.☆396Updated 10 months ago
- Capability-oriented version of the Rust standard library☆682Updated 2 weeks ago
- Data structure serialization library with several opposite design goals from Serde☆852Updated last month
- A language for building concurrent software with confidence☆1,147Updated this week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,913Updated this week
- Rust grammar tool libraries and binaries☆540Updated this week
- Easy declarative web interfaces.☆394Updated this week
- an experimental new programming language based on interaction nets☆252Updated 2 weeks ago