NeoCogi / pfds
☆16Updated last year
Related projects: ⓘ
- Propositional logic with exponentials☆15Updated last month
- Brief implementation of Trees that Grow in Rust☆35Updated last year
- ☆14Updated 6 months ago
- Exploring the "expression problem" in Rust☆46Updated last year
- Garbage collector library☆24Updated 2 years ago
- Propositional logic with types in Rust☆60Updated last year
- Lift enum variants to the type-level.☆30Updated 3 years ago
- Type-level named values with partial dependent type support in Rust☆55Updated 2 years ago
- Session types for asynchronous communication between multiple parties.☆37Updated 2 months ago
- Rust NonEmpty slice☆13Updated 3 years ago
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 2 years ago
- Compiler for the Lavish IDL☆18Updated 5 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Experimental type level programming in Rust☆38Updated 3 years ago
- Ultra-compact storage for collections of enums 🌱☆23Updated 2 years ago
- An experiment in an augmented error handling type for Rust☆31Updated this week
- A toy incremental computation framework☆15Updated 3 years ago
- Datalog with equality for rust☆49Updated 5 months ago
- Rust LLVM bindings☆32Updated last year
- Speedy self-documenting lisp in Rust.☆21Updated 3 months ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆52Updated 3 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆30Updated 5 months ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- ☆43Updated 3 years ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- LR-style Parser Generator☆15Updated last month
- Zig comptime using Rust proc macros☆34Updated 3 months ago
- A simple programming language for researching different ways of program execution and compilation☆28Updated this week
- a reference-counting cycle collection library in rust☆71Updated last year
- Provides a Refl encoding in Rust☆67Updated last year