kirkedal / rfun-interpView external linksLinks
Interpreter for the reversible functional language rFun
☆38Feb 28, 2018Updated 7 years ago
Alternatives and similar repositories for rfun-interp
Users that are interested in rfun-interp are comparing it to the libraries listed below
Sorting:
- An interpreter for Janus, the reversible programming language.☆14Jun 7, 2020Updated 5 years ago
- An implementation of the reversible semantics for Erlang.☆13Nov 9, 2017Updated 8 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Sep 6, 2017Updated 8 years ago
- theseus, functional programming language with fully reversible computation☆126Jun 3, 2019Updated 6 years ago
- Open quantum walk simulations in python☆10Oct 11, 2016Updated 9 years ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 8 years ago
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 7 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- ☆26Feb 7, 2017Updated 9 years ago
- SecEr: Erlang Code Evolution Control Tool☆12Jul 26, 2022Updated 3 years ago
- CLAWS - Work-stealing scheduler for LispWorks☆11Nov 30, 2018Updated 7 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 9 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- A general purpose programming language with linear types☆43Mar 9, 2017Updated 8 years ago
- Bandicoot is a programming system with a set-based programming language and a run-time environment.☆51Sep 24, 2015Updated 10 years ago
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 10 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- Minimal Clojure-like interpreter with FEXPRs☆16Sep 17, 2012Updated 13 years ago
- Commonly useful extensions for the MMark markdown processor☆12Feb 2, 2026Updated last week
- Partial implementation of the Janet bytecode VM in Javascript☆16Mar 1, 2022Updated 3 years ago
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 years ago
- SPAKE2 key exchange protocol for Haskell☆14May 24, 2023Updated 2 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- being the lecture materials and exercises for the 2016/17 session of Advanced Functional Programming at Strathclyde☆13May 9, 2017Updated 8 years ago
- STLC-related snippets in Agda☆16May 1, 2013Updated 12 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- eXtensible Component Verifier and Builder for Common-Lisp (mirrored from Common-Lisp.net) https://gitlab.common-lisp.net/xcvb/xcvb☆38Dec 24, 2020Updated 5 years ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Feb 17, 2023Updated 2 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- ☆10Jul 24, 2019Updated 6 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- I. Chuang's qasm2circ library, modified to include a run-all script that works on Windows and to have the main qasm2tex.py script work as…☆16Apr 20, 2017Updated 8 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Dec 10, 2017Updated 8 years ago
- Reinforcement learning algorithms constrained by a partial program☆19Mar 25, 2011Updated 14 years ago
- Accepted papers for Haskell 2014☆52May 19, 2016Updated 9 years ago