Interpreter for inference rules
☆14May 5, 2018Updated 8 years ago
Alternatives and similar repositories for infer
Users that are interested in infer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Proof assistant for Typographical Number Theory☆16Dec 15, 2015Updated 10 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 10 years ago
- Erlang source code parser written in Rust☆11Aug 26, 2026Updated 2 months ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM☆10Jun 7, 2017Updated 9 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 9 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆15Jun 1, 2020Updated 6 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 6 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Make rpc:calls from erlang to haskell☆17Mar 30, 2015Updated 11 years ago
- ☆16Feb 14, 2021Updated 5 years ago
- An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"☆17Jan 26, 2018Updated 8 years ago
- ☆20Sep 1, 2018Updated 8 years ago
- Abstract binding tree code generator☆37Oct 31, 2016Updated 10 years ago
- Paxos based masterless ID/Sequence generator.☆20Jun 25, 2019Updated 7 years ago
- ShadowDOM Polyfill☆13May 13, 2013Updated 13 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆41Jun 10, 2014Updated 12 years ago
- A Shape Analysis Tool based on Graph Grammars☆14Jul 5, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- secret project☆17Mar 14, 2018Updated 8 years ago
- Implementation of a language interpreter in the browser, using js_of_ocaml.☆15Dec 25, 2017Updated 8 years ago
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- Towards Optic-Based Algebraic Theories: the Case of Lenses☆17Nov 26, 2018Updated 7 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 8 years ago
- An erlang ETS based rate limiter inspired by Jobs☆16Jul 13, 2021Updated 5 years ago
- Experimental functional language☆17Dec 24, 2025Updated 10 months ago
- Writeup that goes along with this:☆16Apr 19, 2018Updated 8 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Jan 14, 2019Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Rust implementation of JSON Type Definition☆30Feb 15, 2023Updated 3 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Jul 4, 2013Updated 13 years ago
- Erlang VM timer wheel analyzer☆18Nov 13, 2015Updated 10 years ago
- An Erlang/OTP parse transform to emulate Scheme's cut/cute syntax.☆18Jan 13, 2021Updated 5 years ago
- Notes from my research for forest-lang☆12Feb 28, 2022Updated 4 years ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Feb 17, 2023Updated 3 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 6 years ago