mbudde / janaLinks
An interpreter for Janus, the reversible programming language.
☆14Updated 5 years ago
Alternatives and similar repositories for jana
Users that are interested in jana are comparing it to the libraries listed below
Sorting:
- Exploration of primes, factorization and number theory through haskell☆10Updated 9 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 13 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- A formalization of synthetic algebraic geometry in Agda☆14Updated 7 years ago
- Writeup that goes along with this:☆16Updated 7 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Updated 4 months ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Updated 11 years ago
- An extended typed Lambda Calculus☆21Updated last year
- The Cubicle model checker☆14Updated last month
- Formal topology (and some probability) in Coq☆31Updated 7 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆25Updated 2 months ago
- Operad Programming Language in Haskell, by David Darais☆33Updated 11 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- ☆29Updated 10 years ago
- ☆27Updated 11 years ago
- Interpreter for the reversible functional language rFun☆38Updated 7 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Updated 7 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 12 years ago
- Reference type checker for the Lean theorem prover☆64Updated 8 years ago
- Multi-backend GPU query engine written with Futhark☆18Updated 3 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 6 years ago
- Generates natural language versions of Coq proofs☆51Updated 8 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Theorem proving in Lean☆49Updated last year
- A type theory based theorem proving library☆25Updated 14 years ago
- Selective applicative functors laws and theorems☆15Updated 5 years ago
- Real number computation software☆129Updated 3 years ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Updated 4 years ago
- Formally verified operator language and rewriting engine for high-performance computing☆30Updated last year