A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
☆73Jan 31, 2017Updated 9 years ago
Alternatives and similar repositories for timi
Users that are interested in timi are comparing it to the libraries listed below
Sorting:
- Dynamic packet parsing within trees 🌲🌳🌴☆25Dec 8, 2017Updated 8 years ago
- A user-centric visual STG implementation to help understand GHC/Haskell's execution model.☆534Jun 8, 2021Updated 4 years ago
- Comparison between differently typed numbers in Rust☆13Feb 3, 2020Updated 6 years ago
- Algebraic structure and emulation of higher kinded types for Rust☆109Dec 15, 2018Updated 7 years ago
- Ergonomic, garbage collected strings for Rust☆37Mar 17, 2017Updated 8 years ago
- A general-purpose lens library for Rust.☆30Dec 18, 2016Updated 9 years ago
- Collates markdown into one file☆17Feb 1, 2018Updated 8 years ago
- A library for execution of Semantic Brain, based on Urban Müller's famous but unprintable language.☆24Oct 28, 2019Updated 6 years ago
- safe and efficient memory manager for microcontrollers☆34May 31, 2017Updated 8 years ago
- [Incomplete] A Raft implementation in Rust☆15Jun 4, 2017Updated 8 years ago
- Scary macros for serde_json☆43Aug 24, 2016Updated 9 years ago
- Tool for obtaining different kind of information from your git repository☆12Dec 12, 2019Updated 6 years ago
- A Sokoban-esque puzzle game developed in Rust.☆13Feb 28, 2024Updated 2 years ago
- Generic permutator written in Rust that permutates both lists of lists and singular lists using references.☆15May 2, 2019Updated 6 years ago
- OAuth2 client for Rust☆31Oct 24, 2019Updated 6 years ago
- Writeup that goes along with this:☆16Apr 19, 2018Updated 7 years ago
- A program that generates rolling-shutter images from a set of frames.☆14Jul 8, 2017Updated 8 years ago
- An analysis library for zero-sum games, written in Rust☆18Sep 13, 2021Updated 4 years ago
- A synchronization primitive for lock-free reads with one concurrent writer☆21Apr 17, 2017Updated 8 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- A fast monadic-style parser combinator designed to work on stable Rust.☆242May 11, 2022Updated 3 years ago
- Compact string type for zero-copy parsing☆264Nov 16, 2023Updated 2 years ago
- Abstract binding tree code generator☆37Oct 31, 2016Updated 9 years ago
- (More or less) accurate floating point algorithms☆57Jul 20, 2024Updated last year
- [DEPRECATED] GFX + Specs framework that lets you fly☆33Apr 20, 2017Updated 8 years ago
- Renders interactive fractal-like animations☆19May 16, 2017Updated 8 years ago
- A library for reading fonts from the TrueType format☆17Jan 27, 2016Updated 10 years ago
- Lovely programatic images☆38Aug 30, 2024Updated last year
- [WIP] Transpile Rust (MIR) to JavaScript.☆76Oct 5, 2016Updated 9 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 3 months ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- A library which finds language features in rust code and provides resources on them.☆39Jan 19, 2018Updated 8 years ago
- A whitespace JIT compiler☆67Mar 18, 2025Updated 11 months ago
- BASIC interpreter - fetch and run classic BASIC programs☆23Jun 10, 2018Updated 7 years ago
- An implementation of the Core language☆30Oct 4, 2015Updated 10 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆106May 29, 2023Updated 2 years ago
- Runtime with fast GC and easy concurrency.☆43Mar 24, 2021Updated 4 years ago
- A new all Haskell "tagged" DFA regex engine, inspired by libtre☆44Oct 19, 2019Updated 6 years ago
- Dynamically query a type-erased object for any trait implementation☆67Oct 7, 2022Updated 3 years ago