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
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- remix - a revised version of Racket☆33Updated 2 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Updated 9 years ago
- experimental computational medium and supporting tools☆23Updated this week
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated 2 months ago
- ☆39Updated last week
- Canonical miniKanren implementation in Racket☆86Updated 4 years ago
- The Nomyx game☆84Updated 2 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- Disassembler for Racket☆79Updated 5 months ago
- ☆44Updated 3 months ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- A port of sweet expressions to Racket☆49Updated 2 years ago
- The Racket pastebin.☆30Updated 4 years 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
- A BASIC-flavored Lisp dialect☆72Updated 2 years ago
- a racket lang-extension for debugging, and a macro for inserting a debug-repl☆36Updated 3 weeks ago
- Terminal emulator in racket☆42Updated 2 years ago
- A Scala-style magic function application form☆43Updated 3 years ago
- ECMAScript for Racket☆20Updated 3 years ago
- An Inference Engine based on Propositional Calculus written in Common Lisp☆51Updated 3 weeks ago
- Datalog implemented in minikanren☆24Updated 8 years ago
- ☆23Updated 10 years ago
- A YAML library for Racket.☆20Updated 3 years ago
- Polyglots☆83Updated 9 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 8 months ago