PromyLOPh / pestoLinks
Repository moved to codeborg.org, see below.
☆43Updated 4 years ago
Alternatives and similar repositories for pesto
Users that are interested in pesto are comparing it to the libraries listed below
Sorting:
- Haskell binding for PADS☆19Updated 6 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- Truth-table generator for classical propositional logic☆26Updated 4 years ago
- Test driver for command line tools☆33Updated 2 weeks ago
- Library for invertible parsing and printing☆32Updated last year
- A list of compilers with some metadata.☆12Updated last year
- the enlightened pager. less paging. more content. read widely.☆21Updated 5 years ago
- Economics games, inspired by David D. Friedman's☆12Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Research notebooks in Python, with the power of literate programming and Markdown.☆41Updated 12 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- A bare-bones blogging system, written in Prolog☆26Updated last year
- Command line editor, C api, readline replacement☆25Updated 6 months ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- Tool to convert literate code between styles or to code.☆11Updated 6 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago
- Render hierarchical git repositories into HTML☆74Updated 5 months ago
- The rule-based graph programming language GP 2☆68Updated last year
- ☆12Updated 2 years ago
- Lambda Calculus with quote and unquote☆19Updated 5 years ago
- Orchard Opetopic Proof Assistant☆27Updated 9 years ago
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 6 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- A semantically unified SQL and NoSQL query and update system☆17Updated 6 years ago
- The LLVM Symbolic Simulator, part of SAW.☆22Updated 4 years ago
- Generative Grammar Compiler☆19Updated 8 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- An arbitrary-precision differentiable programming language.☆36Updated last year
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago