Alternatives and similar repositories for opal

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

• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆13Updated 7 years ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 7 years ago
• norm2782 / NanoProlog
  ☆17Updated 2 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• 3c1u / maysick
  A Programming language of directories. Just for fun.
  ☆14Updated 2 years ago
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 3 years ago
• robertkleffner / CaKe
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Updated 11 years ago
• Deducteam / SizeChangeTool
  A termination checker for higher-order rewriting with dependent types
  ☆10Updated 5 years ago
• Techno-coder / lucent
  A transparent systems programming language. Check out the next-prototype branch! On indefinite hiatus.
  ☆11Updated 3 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated 2 months ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 10 months ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• acorrenson / owl
  A mini language for logic programming
  ☆24Updated 5 years ago
• curry-packages / pflp
  Probabilistic Functional Logic Programming
  ☆16Updated 2 months ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated last year
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 4 months ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆23Updated 2 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 months ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 8 months ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• lee-naish / Pawns
  Pawns functional/imperative programming language compiler etc
  ☆9Updated last month