Library classes for the Twelf Proof System
☆22Jun 16, 2020Updated 6 years ago
Alternatives and similar repositories for twelf-library
Users that are interested in twelf-library are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of mechanised proofs☆19Feb 4, 2020Updated 6 years ago
- An old tutorial for using `Effects` in Idris.☆24Sep 10, 2015Updated 10 years ago
- The Twelf Programming Language☆158Mar 7, 2026Updated 4 months ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 6 years ago
- A simple XML module for Idris.☆13May 22, 2020Updated 6 years 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.
- The Ynot Project source code.☆25May 5, 2014Updated 12 years ago
- Mechanized metatheory of LF in Twelf.☆16Jun 3, 2012Updated 14 years ago
- Simple lambda prover☆24Jul 6, 2015Updated 11 years ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Dec 24, 2018Updated 7 years ago
- Haskell implementation of the Edinburgh Logical Framework☆33Jan 12, 2026Updated 6 months ago
- The Mechanization of Standard ML☆75Jul 18, 2022Updated 4 years ago
- A tiny statically typed programming language☆18Jul 22, 2014Updated 12 years ago
- ☆65Jun 24, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18May 14, 2015Updated 11 years ago
- CLP(Set) in miniKanren☆24Oct 21, 2025Updated 9 months ago
- Implementation of Nuprl's type theory in Coq☆47Feb 25, 2026Updated 4 months ago
- BibTeX database management in Idris☆18May 13, 2014Updated 12 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- A language-integrated proof assistant, for and in Racket☆39Aug 26, 2016Updated 9 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- A typed logic programming language embedded in Haskell☆50Mar 3, 2013Updated 13 years 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.
- System POSIX bindings for Idris.☆36Jan 5, 2019Updated 7 years ago
- Try Idris☆34Sep 7, 2015Updated 10 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 8 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Jan 15, 2018Updated 8 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- A definition and reference implementation for MRA in PureScript.☆18Aug 11, 2017Updated 8 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆26Feb 13, 2020Updated 6 years ago
- 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.
- A PLT Redex implementation of Featherweight Java☆16Oct 8, 2012Updated 13 years ago
- Online partial evaluator for pure Prolog programs (with built-ins)☆12Jan 12, 2026Updated 6 months ago
- Experimental C++11 backend for Idris☆15Nov 29, 2014Updated 11 years ago
- Summer school on programming in Agda☆69Aug 1, 2023Updated 2 years ago
- Epic - a Supercombinator Compiler☆64Jun 12, 2015Updated 11 years ago
- ☆13Jan 7, 2026Updated 6 months ago
- ☆29Sep 14, 2015Updated 10 years ago