veera-sivarajan / type-inferencerView external linksLinks
hindley-milner algorithm
☆62Jun 3, 2023Updated 2 years ago
Alternatives and similar repositories for type-inferencer
Users that are interested in type-inferencer are comparing it to the libraries listed below
Sorting:
- Get notified of filesystem changes in Gleam☆15Aug 13, 2025Updated 6 months ago
- ☆21Dec 7, 2024Updated last year
- A lambda calculus parser, evaluator and repl☆11Oct 30, 2021Updated 4 years ago
- The last-write-wins register CRDT☆16Nov 10, 2024Updated last year
- A simple 2D snake game built with Bevy and WASM☆10Nov 19, 2022Updated 3 years ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- A Gleam terminal UI library☆10Dec 8, 2024Updated last year
- What makes Paxos tick?☆11Apr 16, 2025Updated 10 months ago
- Hindley Milner Type Inference in Rust☆12Oct 4, 2017Updated 8 years ago
- A package for keeping your JSON encoders and decoders in sync.☆18Apr 14, 2024Updated last year
- MRE: A web framework written in Rust☆63Oct 14, 2012Updated 13 years ago
- Pretty backtraces for rust☆15Aug 8, 2021Updated 4 years ago
- Automatically generates conversions between an enum type and any other type☆11Jan 10, 2023Updated 3 years ago
- A utility that can be used to lookup information about IP addresses and domains.☆13May 9, 2022Updated 3 years ago
- generic key-value database in go, built on lmdb☆16Oct 27, 2024Updated last year
- Rust TUI additive wavetable synthesizer☆21Mar 4, 2024Updated last year
- dotenv for gleam☆14Oct 13, 2025Updated 4 months ago
- A Universal Configuration Grammar☆37Dec 19, 2025Updated last month
- Propositional logic with types in Rust☆65Aug 1, 2023Updated 2 years ago
- Batteries-included MVC framework for Tui-rs + Crossterm apps☆14May 2, 2021Updated 4 years ago
- ANSI colours, formatting, and control codes☆36Jan 30, 2026Updated 2 weeks ago
- Chain together stateful computations in Gleam, and defer their evaluation until you need them.☆14Jun 29, 2024Updated last year
- Task-based Parallelism in Rust☆17Nov 17, 2021Updated 4 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Apr 8, 2024Updated last year
- An event sourcing library for Gleam.☆17Aug 26, 2024Updated last year
- Gleam bindings to htmerl, the fast and memory efficient HTML SAX parser.☆14Aug 13, 2025Updated 6 months ago
- A simple URL shortener, written in Rust and gRPC☆14Jul 15, 2019Updated 6 years ago
- A Haskell derived programming language for systems development.☆14Sep 18, 2018Updated 7 years ago
- 🚧 (Alpha stage software) FTD Package Manager & Static Site Generator 🚧☆16Mar 25, 2023Updated 2 years ago
- Inert lets you use non-Sync values in Sync context☆16Jul 2, 2019Updated 6 years ago
- Database migrations for SQLite☆17Nov 30, 2025Updated 2 months ago
- A simple Elm architecture framework for ratatui☆29Dec 7, 2025Updated 2 months ago
- Fork of https://github.com/inanna-malick/tracing-honeycomb☆17Feb 1, 2022Updated 4 years ago
- Scapy like packet parser and generator in Rust☆17Oct 12, 2024Updated last year
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Feb 17, 2023Updated 3 years ago
- A menu widget for tui-rs ecosystem☆44Dec 30, 2025Updated last month
- A simple (and unfinished!!) database management system.☆21Jun 12, 2023Updated 2 years ago
- A simple `Secret` wrapper type that reveals the secret at most `N: typenum::Unsigned` (i.e. unsigned integer) times with compile time gua…☆18Jul 18, 2024Updated last year
- A rusty, dual-wielding Quake and Half-Life texture WAD parser.☆21Apr 2, 2024Updated last year