herbie-fp / rivalLinks
Interval arithmetic for real computation
☆23Updated this week
Alternatives and similar repositories for rival
Users that are interested in rival are comparing it to the libraries listed below
Sorting:
- Racket Equivalence Graph Library☆19Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆33Updated 2 weeks ago
- An equational theorem prover based on Knuth-Bendix completion☆54Updated last week
- Because why wouldn't you want to typeset Coq in Scribble?☆10Updated 5 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated last year
- A Redex tutorial with a focus on how to do work in Redex☆11Updated 11 months ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation☆17Updated last year
- Category Theory in Programming☆12Updated last month
- A Scribble library for typesetting grammars better☆15Updated 2 years ago
- A diagram drawing library for Racket☆19Updated 4 years ago
- ☆12Updated last year
- Interactive holes for Lean 4☆22Updated last year
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Updated 2 years ago
- A dynamically-typed CBPV language embedded in Racket☆39Updated last year
- Command-like expressions for real infinite-precision calculations☆54Updated last month
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆31Updated 2 months ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Analysis of Racket code base☆14Updated 5 years ago
- Lean 4 as a scripting language in Houdini☆20Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆23Updated last year
- ☆56Updated 5 months ago
- A formalization of ML kernel languages☆26Updated last week
- The formal proof of the Odd Order Theorem☆34Updated last week
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- A Racket Meta-Program Generator☆17Updated 5 years ago
- ☆12Updated 2 months ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Code samples for Lean 4☆77Updated last year
- An automatic theorem prover for first order logic with equality☆31Updated 5 years ago