wilcoxjay / coq-litView external linksLinks
Literate coq blog posts
☆17Jan 13, 2016Updated 10 years ago
Alternatives and similar repositories for coq-lit
Users that are interested in coq-lit are comparing it to the libraries listed below
Sorting:
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- A blog about Coq☆46Apr 12, 2022Updated 3 years ago
- A dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 9 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
- Event-driven bidirectional channels☆14Feb 17, 2016Updated 9 years ago
- The Boole Interactive Reasoning Assistant☆30May 9, 2014Updated 11 years ago
- Robots powered by Constructive Reals☆34Nov 3, 2017Updated 8 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Jul 21, 2017Updated 8 years ago
- Hanoi tower in Coq☆26Jan 29, 2026Updated 2 weeks ago
- Sokoban (in Coq) [maintainer=@erikmd]☆24Jan 3, 2025Updated last year
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 10 years ago
- A concurrency framework for the Ivory language☆45Oct 7, 2019Updated 6 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Jul 26, 2021Updated 4 years ago
- A Racket library for interacting with Idris over the IDE protocol☆31Nov 10, 2017Updated 8 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years ago
- second-order abstract syntax☆31Sep 15, 2021Updated 4 years ago
- Node.js file I/O for purescript☆34Jun 23, 2024Updated last year
- Asteroids for a web browser, in PureScript☆44Sep 4, 2014Updated 11 years ago
- A LibreOffice extension that converts JabRef references to plain text code and vice versa so that you can use your references with MS Off…☆12Aug 15, 2024Updated last year
- A Purescript library for parsing SlamData's dialect of Markdown.☆38Jan 16, 2020Updated 6 years ago
- A toolkit for creating REST services with Node and PureScript☆32Jan 26, 2017Updated 9 years ago
- Interactive map of the Italian regions and provinces.☆10Apr 5, 2018Updated 7 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- Search for a given subsequence in a list of strings and transform the resulting list as required☆18Nov 15, 2015Updated 10 years ago
- Open-source framework for science presentations and talks, generating interactive HTML from simple Python based interface.☆13Jul 21, 2025Updated 6 months ago
- A very basic JavaScript implementation of a context menu☆11Jan 25, 2020Updated 6 years ago
- Multilingual Language Modeling Toolkit☆11May 25, 2017Updated 8 years ago
- Communication between Coq and SAT/SMT solvers☆164Feb 4, 2026Updated last week
- Applicative-style validation☆45Apr 27, 2022Updated 3 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Sep 25, 2020Updated 5 years ago
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆97Feb 7, 2026Updated last week
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- ☆11Jun 1, 2019Updated 6 years ago
- The Judo score board and timer☆16Jan 18, 2026Updated 3 weeks ago
- Some of the stuff I am currently using for my Chinese studies☆13Dec 1, 2018Updated 7 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- ☆12Oct 3, 2016Updated 9 years ago