Alternatives and similar repositories for copper

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

• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆63Updated last week
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆40Updated 3 weeks ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated last month
• rewriting / tom
  ☆34Updated 4 years ago
• aprolog-lang / aprolog
  αProlog
  ☆18Updated 2 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 9 months ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆20Updated 9 years ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated last year
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• brownplt / lambda-py
  ☆58Updated 11 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated last month
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated last month
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆156Updated last year
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆17Updated last year
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆24Updated 10 months ago
• hbr / albatross
  Compiler for the Albatross Language
  ☆11Updated 3 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 9 years ago
• henrikurms / tail2futhark
  ☆19Updated 6 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 3 years ago