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 2 months ago
• Lexpedite / blawx
  A user-friendly web-based tool for Rules as Code.
  ☆121Updated 10 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 2 months ago
• LogicalContracts / LogicalEnglish
  ☆36Updated last week
• spechub / Hets
  The Heterogeneous Tool Set
  ☆59Updated 7 months ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆140Updated this week
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆33Updated 2 months ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆57Updated this week
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆29Updated last week
• smucclaw / dmnmd
  Decision Model & Notation in Markdown table format
  ☆24Updated 2 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated this week
• shriram / gradescope-racket
  Infrastructure to autograde Racket code on Gradescope
  ☆17Updated 7 months ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆111Updated this week
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated last month
• LogicalAtomist / principia
  The Principia Rewrite
  ☆225Updated 7 months ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 10 months ago
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆18Updated 3 years ago
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆193Updated last week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 3 months ago
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 2 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆111Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 5 months 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…
  ☆37Updated this week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆33Updated last year
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆105Updated 2 months ago
• mbutterick / pollen-users
  please use https://forums.matthewbutterick.com/c/typesetting/ instead
  ☆52Updated 3 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year