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 9 months ago
• Lexpedite / blawx
  A user-friendly web-based tool for Rules as Code.
  ☆114Updated 6 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆72Updated 3 months ago
• LogicalContracts / LogicalEnglish
  ☆32Updated last week
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 6 months ago
• codexstanford / LawScript
  ☆17Updated last year
• legalese / guerilla-legaltech
  adventures in self-service LegalTech
  ☆10Updated 4 years ago
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆37Updated last month
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆46Updated this week
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆31Updated 5 months ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆139Updated this week
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆52Updated this week
• cbenzmueller / LogiKEy
  LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths
  ☆17Updated last week
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆13Updated last year
• celinehocquette / numsynth-aaai23
  C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
  ☆15Updated 2 years ago
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆22Updated 2 months ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆29Updated 4 months ago
• jrclogic / SMCDEL
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆46Updated 2 months ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆58Updated 3 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆57Updated last week
• shriram / gradescope-racket
  Infrastructure to autograde Racket code on Gradescope
  ☆17Updated 3 months ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆18Updated 4 months ago
• schar / TDParse
  Type-driven syntactic and semantic effectful parsing for NL
  ☆12Updated last month
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• mscarey / AuthoritySpoke
  Reading legal authority for the last time
  ☆37Updated 2 months ago
• smucclaw / dmnmd
  Decision Model & Notation in Markdown table format
  ☆22Updated 2 years ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 5 months ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆44Updated 10 months ago
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆19Updated 2 years ago