Alternatives and similar repositories for opal

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

• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 7 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 9 months ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆16Updated last year
• norm2782 / NanoProlog
  ☆17Updated 2 years ago
• fwcd / curry-language-server
  IDE support for the functional logic programming language Curry
  ☆31Updated this week
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 7 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆17Updated 2 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆23Updated 8 months ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated last month
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• elpinal / subtyping-agda
  Some rudimentary proofs on subtyping
  ☆11Updated 3 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• JIM-GLITCH / mercury-ls
  ☆9Updated 2 years ago
• ehatti / LHL
  Linearizability Hoare Logic
  ☆13Updated last month
• namin / mk-on-smt
  miniKanren for search, SMT for solving
  ☆13Updated 5 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated last year
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 2 months ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago