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
  ☆10Updated 6 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆71Updated 3 months ago
• Lexpedite / blawx
  A user-friendly web-based tool for Rules as Code.
  ☆111Updated 2 months ago
• codexstanford / LawScript
  ☆17Updated last year
• LogicalContracts / LogicalEnglish
  ☆29Updated this week
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆25Updated 2 months ago
• mscarey / AuthoritySpoke
  Reading legal authority for the last time
  ☆34Updated this week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆135Updated last week
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated last week
• smucclaw / dmnmd
  Decision Model & Notation in Markdown table format
  ☆21Updated last year
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆43Updated last week
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆54Updated this week
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 2 months ago
• QuantLaw / legal-data-preprocessing
  Convert legal statutes and cases from official sources (or juris) to graphs
  ☆24Updated last month
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆41Updated 7 months ago
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆15Updated 2 years ago
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆21Updated last year
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆17Updated last month
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• noslegal / taxonomy
  noslegal taxonomy facets and release notes
  ☆34Updated 6 months ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆35Updated 2 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated last week
• formalabstracts / CNL-CIC
  A controlled natural language for calculus of inductive constructions, based on Forthel.
  ☆15Updated 3 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• Gauntlet173 / docassemble-openlcbr
  A docassemble package for case outcome prediction using the analogical reasoning features of openlcbr.
  ☆12Updated 5 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆31Updated last year
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆53Updated 6 months ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆29Updated 3 months ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆19Updated 2 months ago