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.
  ☆113Updated 5 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆72Updated 2 months ago
• codexstanford / LawScript
  ☆17Updated last year
• LogicalContracts / LogicalEnglish
  ☆32Updated last month
• cbenzmueller / LogiKEy
  LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths
  ☆17Updated last month
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 5 months ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆30Updated 4 months ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 2 months ago
• mscarey / AuthoritySpoke
  Reading legal authority for the last time
  ☆36Updated last month
• QuantLaw / legal-data-preprocessing
  Convert legal statutes and cases from official sources (or juris) to graphs
  ☆24Updated 4 months ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆138Updated this week
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated last week
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆55Updated 9 months ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated this week
• SuffolkLITLab / legal-tech-class
  Materials for a Law School class based around the open source platform Docassemble
  ☆27Updated 8 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 10 months ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆52Updated this week
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆37Updated 3 weeks ago
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆17Updated 2 years ago
• legalese / guerilla-legaltech
  adventures in self-service LegalTech
  ☆10Updated 4 years ago
• iliaschalkidis / LegalCrawler
  LegalCrawler: A tool for automated scraping of English legal corpora
  ☆55Updated 2 years ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆48Updated this week
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• aindilis / frdcsa-panoply-git-20200329
  How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)
  ☆11Updated 2 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆56Updated 3 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆17Updated 3 months ago