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:
- A formalization of synthetic algebraic geometry in Agda☆14Updated 7 years ago
- 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 12 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 6 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
- Operad Programming Language in Haskell, by David Darais☆33Updated 11 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Updated 6 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- Formal topology (and some probability) in Coq☆31Updated 7 years ago
- A certified semantics for relational programming workout.☆26Updated 5 years ago
- Type theory in type theory☆16Updated 13 years ago
- Symbolic logic expressions☆15Updated 5 years ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆28Updated 2 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Updated 5 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆24Updated last month
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 11 years ago
- ☆27Updated 11 years ago
- ☆16Updated 2 years ago
- Kansas Lava☆50Updated 6 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆27Updated 11 years ago
- The Cubicle model checker☆14Updated 3 months ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- Symbolic Geometric Algebra with E-Graphs☆19Updated 2 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 13 years ago
- Finite field and algebraic extension field arithmetic☆53Updated last year
- IPython-style interaction for Cryptol☆15Updated 9 years ago
- Interpreter for the reversible functional language rFun☆38Updated 7 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago
- A Haskell implementation of the tiger compiler☆10Updated 5 years ago
- Luck -- A Language for Property-Based Generators☆36Updated 10 months ago