Alternatives and similar repositories for QFTASM-lang

Users that are interested in QFTASM-lang are comparing it to the libraries listed below

• ioannad / jeffrey
  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 8 months ago
• axch / integer-sequences
  A library for recreational number theory in MIT Scheme.
  ☆11Updated 13 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆87Updated 4 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆23Updated 2 weeks ago
• jeapostrophe / remix
  remix - a revised version of Racket
  ☆33Updated 3 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 8 years ago
• lathe / parendown-for-racket
  A weak opening parenthesis for Racket, good for eliminating indentation.
  ☆13Updated last week
• ktakashi / r6rs-msgpack
  MessagePack for R6RS Scheme / msgpack.org[Scheme]
  ☆12Updated 12 years ago
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆32Updated 6 years ago
• thephoeron / qgame
  QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator
  ☆33Updated 8 years ago
• arathnim / parmesan
  simple parser combinators for Common Lisp
  ☆25Updated 8 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆73Updated 12 years ago
• QuestForTetris / qftasm-gcc
  ☆18Updated 8 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 7 years ago
• jeapostrophe / lux
  lux - a simple library for creating real-time graphical apps
  ☆30Updated 4 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆51Updated 3 months ago
• racket / plot
  ☆45Updated 2 months ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 13 years ago
• noelwelsh / assembler
  IA32 assembler in PLT Scheme
  ☆33Updated 15 years ago
• carlohamalainen / pysecd
  Python interpreter for Peter Landin's SECD abstract machine.
  ☆42Updated 12 years ago
• DalekBaldwin / clometa
  An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.
  ☆16Updated 10 years ago
• logicmoo / wam_common_lisp
  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
• lexi-lambda / racket-curly-fn
  A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.
  ☆18Updated 9 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 10 years ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆23Updated 10 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 12 years ago
• stchang / pasterack
  The Racket pastebin.
  ☆30Updated 4 years ago
• charles-l / dirt
  x86 assembler in scheme
  ☆29Updated 6 years ago
• catseye / Thue
  Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
  ☆29Updated 10 years ago