Alternatives and similar repositories for qc--

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

• SjVer / Lamb

  View on GitHub
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Sep 29, 2022Updated 3 years ago
• Hans-Halverson / myte

  View on GitHub
  Compiler and tooling for the Myte programming language.
  ☆28Mar 6, 2023Updated 2 years ago
• Armael / lam

  View on GitHub
  ☆15Mar 12, 2016Updated 9 years ago
• effectfully / Eff

  View on GitHub
  Experiments with effect systems
  ☆12Apr 18, 2016Updated 9 years ago
• UU-ComputerScience / uhc

  View on GitHub
  ☆138Aug 18, 2021Updated 4 years ago
• HackerFoo / peg

  View on GitHub
  A lazy non-deterministic concatenative programming language
  ☆55Aug 3, 2013Updated 12 years ago
• Ekdohibs / joujou

  View on GitHub
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆91Dec 10, 2018Updated 7 years ago
• henrikurms / tail2futhark

  View on GitHub
  ☆19Sep 3, 2018Updated 7 years ago
• ocamllibs / clangml

  View on GitHub
  OCaml bindings for Clang
  ☆18Jan 26, 2026Updated 2 weeks ago
• Elderry / TaPL-SML

  View on GitHub
  Accompanying code for "Types and Programming Languages", ported to Standard ML
  ☆30Jul 10, 2015Updated 10 years ago
• fare / moll

  View on GitHub
  My Own Linear Lisp
  ☆42Aug 24, 2018Updated 7 years ago
• sweirich / tal

  View on GitHub
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆150Sep 30, 2021Updated 4 years ago
• ehatti / konna

  View on GitHub
  ☆16Apr 19, 2022Updated 3 years ago
• Toxaris / pts

  View on GitHub
  Interpreter for functional pure type systems.
  ☆21Jun 30, 2017Updated 8 years ago
• NVIDIA / remorac

  View on GitHub
  ☆40May 1, 2016Updated 9 years ago
• dart-archive / kernel

  View on GitHub
  Dart IR (Intermediate Representation) -- moved to dart-lang/sdk
  ☆20Nov 25, 2016Updated 9 years ago
• JakubGrobelny / aurox-lang

  View on GitHub
  Interpreter written for Prolog course.
  ☆10Feb 18, 2020Updated 5 years ago
• westerp / ebf-compiler

  View on GitHub
  A self hosting Extended brainfuck to pure brainfuck compiler
  ☆11May 6, 2018Updated 7 years ago
• molarmanful / -_-

  View on GitHub
  ಠ_ಠ The most disapproving coding language on the Internet.
  ☆10Nov 4, 2015Updated 10 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• c-cube / quip

  View on GitHub
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Mar 29, 2023Updated 2 years ago
• jwiegley / simple-conduit

  View on GitHub
  ☆24Jan 23, 2017Updated 9 years ago
• jmackie / reasonml.nix

  View on GitHub
  Nix derivations for ReasonML
  ☆12Sep 4, 2019Updated 6 years ago
• emmanueldenloye / manifoldRNC

  View on GitHub
  ☆10Feb 3, 2016Updated 10 years ago
• fasterthanlime / jooc-legacy

  View on GitHub
  The historical, initial implementation of an ooc compiler in Java
  ☆115Feb 6, 2013Updated 13 years ago
• triska / presprover

  View on GitHub
  Prove formulas of Presburger Arithmetic
  ☆11Oct 5, 2024Updated last year
• coderbot16 / i73

  View on GitHub
  Minecraft Beta 1.7.3 compatible world generator
  ☆11Nov 24, 2018Updated 7 years ago
• themasch / rust-git

  View on GitHub
  a git implementation in rust. yeah, I know..
  ☆12Jun 10, 2016Updated 9 years ago
• Wodan58 / joy0

  View on GitHub
  Original Joy
  ☆10Dec 17, 2024Updated last year
• haskell-pkg-janitors / haskell-src

  View on GitHub
  Library for manipulating Haskell source code
  ☆22Sep 11, 2025Updated 5 months ago
• MLton / mlton

  View on GitHub
  The MLton repository
  ☆1,054Jan 24, 2026Updated 2 weeks ago
• habit-lang / alb

  View on GitHub
  ☆40Aug 5, 2024Updated last year
• munificent / lisp2-gc

  View on GitHub
  A simple implementation of the LISP2 mark-compact GC algorithm
  ☆42Nov 20, 2014Updated 11 years ago
• pipe01 / LogicScript

  View on GitHub
  A simple DSL for programming logic components.
  ☆10May 9, 2023Updated 2 years ago
• DavePearce / jx86

  View on GitHub
  Java Library for Generating x86 Code
  ☆12Sep 30, 2019Updated 6 years ago
• uwplse / arvo

  View on GitHub
  A proof assistant.
  ☆12Feb 19, 2016Updated 9 years ago
• mpcsh / ForML

  View on GitHub
  Bachelor's thesis 2019
  ☆12Jun 3, 2023Updated 2 years ago
• remexre / evaltrees

  View on GitHub
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Jun 2, 2025Updated 8 months ago
• jhjourdan / C11parser

  View on GitHub
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆209Jun 14, 2024Updated last year