QuestForTetris / QFTASM-langLinks
Language that compiles to QFTASM
☆15Updated 6 years ago
Alternatives and similar repositories for QFTASM-lang
Users that are interested in QFTASM-lang are comparing it to the libraries listed below
Sorting:
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆29Updated 5 months ago
- Canonical miniKanren implementation in Racket☆86Updated 4 years ago
- remix - a revised version of Racket☆33Updated 2 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated last month
- Cat's Eye Technologies' distribution of John Colagioia's Thue programming language☆29Updated 10 years ago
- experimental computational medium and supporting tools☆23Updated this week
- MessagePack for R6RS Scheme / msgpack.org[Scheme]☆12Updated 12 years ago
- Livin' like it's 1813 (or 1988).☆33Updated last year
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- ☆44Updated 2 months ago
- An experimental implementation of parser combinators in Common Lisp☆80Updated 12 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Updated last year
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆33Updated last year
- These are the slides and script I used to present my talk at the 8th European Lisp Symposium at Goldsmiths in London in April, 2015.☆18Updated 10 years ago
- colorized REPL for GNU Guile☆37Updated 7 years ago
- GPL licensed J interpreter☆38Updated 9 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 4 years ago
- ☆11Updated 2 months ago
- HASKELL: Yale Haskell system written in Lisp☆103Updated 11 years ago
- Don't Lisp, Talk!☆57Updated last year
- Meld compiler written in Common Lisp☆13Updated 9 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Updated 9 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- simple parser combinators for Common Lisp☆25Updated 8 years ago
- a racket lang-extension for debugging, and a macro for inserting a debug-repl☆36Updated this week
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆12Updated 4 years ago