Alternatives and similar repositories for spsc

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

• poitin / Distiller
  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
  ☆29Updated 3 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆38Updated 7 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆123Updated 3 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆147Updated this week
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆58Updated 5 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆34Updated 5 years ago
• aprolog-lang / aprolog
  αProlog
  ☆18Updated 2 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆83Updated 8 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆65Updated 2 weeks ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆56Updated 3 weeks ago
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆98Updated last week
• mtt-lang / mtt-lang
  A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
  ☆47Updated 3 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆51Updated 11 years ago
• alhassy / next-700-module-systems
  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
  ☆82Updated 4 years ago
• WasmCert / WasmCert-Isabelle
  A mechanisation of Wasm in Isabelle.
  ☆31Updated last week
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 9 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆76Updated 4 years ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆27Updated 5 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 3 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆31Updated last year
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 8 months ago
• mit-plv / bedrock
  Coq library for verified low-level programming
  ☆61Updated 8 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆44Updated 6 years ago
• zydeco-lang / fiddle
  A dynamically-typed CBPV language embedded in Racket
  ☆39Updated last year
• verse-lab / ego
  EGraphs in OCaml
  ☆79Updated 2 years ago
• metaocaml / metaocaml-bibliography
  MetaML and MetaOCaml bibliography
  ☆98Updated last year
• pdarragh / parsing-with-zippers-paper-artifact
  The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
  ☆29Updated last year