Alternatives and similar repositories for reticulated

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

• brownplt / lambda-py
  ☆58Updated 11 years ago
• bjpop / language-python
  A parser for Python 2.x and 3.x written in Haskell
  ☆158Updated 11 months ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 3 years ago
• pa-ba / calc-comp
  Coq proofs for the paper "Calculating Correct Compilers"
  ☆30Updated last year
• racket / redex
  ☆94Updated last week
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆82Updated 8 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• OPLSS / oplss-notes-2018
  Notes and handouts from OPLSS 2018
  ☆55Updated 6 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆171Updated 6 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆152Updated last month
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆95Updated 3 months ago
• plum-umd / abstracting-definitional-interpreters
  Abstracting Definitional Interpreters
  ☆68Updated 7 years ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆99Updated last year
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆121Updated 3 years ago
• ranjitjhala / sprite-lang
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆147Updated last year
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆121Updated 11 months ago
• sweirich / tal
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆146Updated 3 years ago
• ejgallego / dfuzz
  Linear Dependent Types for Differential Privacy TypeChecker
  ☆31Updated 5 years ago
• coq-io / io
  A library for effects in Coq.
  ☆64Updated 2 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆62Updated 8 years ago
• pycket / pycket
  A rudimentary Racket implementation using RPython
  ☆260Updated last month
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆155Updated last year
• nadia-polikarpova / synquid
  ☆127Updated 3 years ago