Alternatives and similar repositories for complaw

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

• smucclaw / baby-l4
  A miniature version of the l4 language
  ☆13Updated 6 months ago
• LogicalContracts / LogicalEnglish
  ☆43Updated last week
• Lexpedite / blawx
  A user-friendly web-based tool for Rules as Code.
  ☆131Updated last year
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆78Updated 6 months ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆149Updated 2 months ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆55Updated 2 weeks ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆60Updated 3 months ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆25Updated last month
• alhassy / PrologCheatSheet
  Basics of relational programming with Prolog —PROgramming in LOGic ^_^
  ☆75Updated 5 years ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated 3 months ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆34Updated 6 months ago
• shriram / gradescope-racket
  Infrastructure to autograde Racket code on Gradescope
  ☆17Updated 11 months ago
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆18Updated 3 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆30Updated last month
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆25Updated 11 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆79Updated 7 months ago
• smucclaw / dmnmd
  Decision Model & Notation in Markdown table format
  ☆24Updated 6 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆41Updated 7 months ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆49Updated last year
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆210Updated last year
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated last year
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆33Updated 3 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆131Updated 11 months ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆62Updated 2 weeks ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 9 months ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆63Updated last year