fitzgen / minisynth-rs
Program synthesis is possible in Rust
☆24Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for minisynth-rs
- An experimental columnar arena☆41Updated 3 weeks ago
- dynamic smart pointers☆31Updated 5 years ago
- Combine a reader + writer into a duplex of Read + Write☆45Updated 4 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- Tutorial and demo of rust compiler replacement tooling☆56Updated 3 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 7 years ago
- Transport-polymorphic, asynchronous session types for Rust☆60Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆12Updated 8 years ago
- A symbolic evaluator for MIR☆19Updated 4 years ago
- JS affine☆66Updated 4 years ago
- An in-memory topological sort algorithm for trees based on Group Theory☆24Updated 3 years ago
- ☆23Updated 6 years ago
- ☆91Updated last year
- An intrusive splay tree implementation that is no-std compatible and free from allocation and moves☆67Updated 2 years ago
- A syn targetting PEG parser generator☆20Updated last year
- Proof of concept of procedural macro input parsed by LALRPOP☆51Updated last year
- Simple language parser, interpreter and CLI built in Rust, to be used for baremetal/no_std environments.☆20Updated last year
- ☆40Updated 5 years ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Updated 4 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆24Updated 6 years ago
- SAW front end for the MIR language from rustc☆36Updated 3 years ago
- Slides for PLISS 2019☆10Updated 5 years ago
- A small crate to provide space-efficient Option<_> replacements☆37Updated last week
- scraps of a potential language☆37Updated 3 years ago
- PEG parser generator built on top of nom☆69Updated 5 years ago
- Logic programming, for Rust, from inside Rust.☆42Updated 4 years ago
- A synchronization primitive for lock-free reads with one concurrent writer☆21Updated 7 years ago