thomasoa / andrews-deal
Automatically exported from code.google.com/p/andrews-deal
☆10Updated 2 years ago
Alternatives and similar repositories for andrews-deal
Users that are interested in andrews-deal are comparing it to the libraries listed below
Sorting:
- A (mostly) purely functional console-based esoteric language interpreter.☆12Updated 3 years ago
- Python 3 ctypes port of dds, the bridge double dummy solver☆16Updated 6 years ago
- git mirror of language-c darcs repo at http://code.haskell.org/language-c☆13Updated last year
- Braid representations in Haskell☆22Updated last year
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago
- Unlambda interpreter☆12Updated 10 months ago
- Updated LazyK source distribution☆18Updated 6 years ago
- A parsing combinator library.☆10Updated 8 years ago
- Alice ML implementation☆17Updated 2 years ago
- 🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell☆11Updated 2 months ago
- A plugin for Coq that implements the call-by-name forcing translation☆12Updated 3 years ago
- typesafe implementation of tensor algebra in Haskell☆13Updated 4 years ago
- the translator from C headers to another language (currently, Ada only)☆18Updated last year
- A Scheme interpreter in Haskell☆9Updated 10 years ago
- A hobby implementation of an ncurses binding for Idris 2☆16Updated 5 months ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- SVG Combinators for Haskell☆23Updated 7 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- New version of the PML language and (classical) proof assistant☆20Updated 2 years ago
- A recursion scheme library for Idris.☆25Updated this week
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- Heyting Algebras in Haskell☆14Updated 2 years ago
- Axioms and Propositions for Primitives in Idris2☆11Updated last year
- ☆17Updated 2 years ago
- Deductive synthesis and compilation of specialized databases.☆12Updated last year
- A fork of asm.ow2.org for the Scala compiler☆8Updated 7 years ago
- Lisp inspired serialization (intended for when you don't even want to take a dependency on JSON serializer)☆14Updated 4 years ago
- A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''☆10Updated 6 years ago
- A Scheme to Unlambda compiler☆18Updated 7 years ago
- A stack-based esoteric programming language.☆10Updated 7 years ago