Alternatives and similar repositories for GP2

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

• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆72Updated 8 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 10 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 4 months ago
• vmchale / apple
  Apple array system
  ☆66Updated last week
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆122Updated 5 years ago
• jkoppel / ecta
  ☆35Updated last year
• zachgk / catln
  A high-level programming language
  ☆39Updated 5 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated last week
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆31Updated 7 months ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆73Updated 3 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆125Updated 2 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 4 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• liam923 / remora
  A dependently-typed, array-polymorphic language that runs on parallel architectures
  ☆24Updated 9 months ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated 2 months ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆173Updated 6 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 2 months ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆53Updated 3 weeks ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆159Updated 2 weeks ago
• codyroux / broad-coq-tutorial
  Some unstructured notes concerning the Broad tutorial to take place in March 2020
  ☆32Updated 3 years ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆25Updated 7 months ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆27Updated 2 weeks ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 months ago