ptarau / natlog

Related projects ⓘ

Alternatives and complementary repositories for natlog

• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 6 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆33Updated 5 months ago
• kframework / matching-logic-prover
  ☆15Updated 3 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• opencompl / egg-tactic-code
  ☆13Updated last year
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• gilith / opentheory
  The opentheory tool processes higher order logic theory packages
  ☆15Updated last year
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆12Updated 9 years ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆14Updated 4 months ago
• b-mehta / combinatorics
  ☆21Updated 2 years ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 2 years ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆31Updated 3 years ago
• prologbyexample / code
  ☆27Updated last year
• jkoppel / ecta
  ☆33Updated 7 months ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆12Updated this week
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆16Updated last year
• jariazavalverde / fasill
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆21Updated 2 months ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆33Updated 11 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆20Updated last year
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆15Updated last year