Alternatives and similar repositories for cyc-archive

Users that are interested in cyc-archive are comparing it to the libraries listed below

• seveno4 / EURISKO
  ☆57Updated last year
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated 9 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆52Updated 8 years ago
• npe9 / aop
  Art of Prolog Code
  ☆36Updated 5 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆44Updated last month
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆22Updated last month
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆84Updated 8 months ago
• logicmoo / prologmud
  MUD Server written in Prolog using Forward chaining
  ☆29Updated 3 years ago
• mthom / scryer-shen
  ☆53Updated last month
• triska / clpb
  Boolean Constraint Solving in Prolog
  ☆43Updated 6 months ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆67Updated 2 months ago
• triska / bitcoinolog
  Reason about Bitcoin addresses with Prolog
  ☆22Updated last year
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆49Updated last year
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 10 months ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆113Updated 2 months ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆35Updated 2 months ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• dev-null321 / RacoGrad
  Deep learning library
  ☆41Updated 3 months ago
• white-flame / eurisko
  Doug Lenat's EURISKO from SAIL archives circa 1981
  ☆64Updated 11 months ago
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆21Updated this week
• Dyalog / Jarvis
  APL-based web service framework supporting JSON or REST
  ☆36Updated 3 weeks ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• plops / clicc
  from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/
  ☆19Updated 8 years ago