ggp-org / ggp-base

Related projects ⓘ

Alternatives and complementary repositories for ggp-base

• tromp / tromp.github.io
  John Tromp homepage
  ☆21Updated this week
• vscosta / yap-6.3
  YAP Development release
  ☆13Updated 3 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆169Updated 4 years ago
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆134Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆134Updated 2 weeks ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆151Updated 6 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆72Updated last month
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆50Updated 4 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆86Updated 9 months ago
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆85Updated 2 weeks ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆22Updated 5 years ago
• chris-taylor / aima-haskell
  Algorithms from AIMA in Haskell
  ☆331Updated 7 years ago
• ericastor / rmzoo
  ☆14Updated 7 months ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆170Updated 5 years ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆103Updated last week
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago
• fbergo / zseal
  FICS timeseal v2 client implementation
  ☆19Updated 3 years ago
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Updated 3 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆184Updated 9 months ago
• robbertkrebbers / ch2o
  ☆87Updated 2 years ago
• SWI-Prolog / packages-chr
  CHR: Leuven Constraint Handling Rules
  ☆24Updated last week
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆82Updated 3 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆219Updated 2 weeks ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 8 years ago
• gsingh93 / gdl-parser
  A parser for GDL (game description language)
  ☆7Updated 9 years ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆90Updated 13 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆115Updated this week