Alternatives and similar repositories for modallogic

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

• CategoricalData / CQL
  Categorical Query Language IDE
  ☆305Updated last week
• tau-prolog / tau-prolog
  An open source Prolog interpreter in JavaScript
  ☆608Updated 2 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• wo / tpg
  Tree Proof Generator
  ☆169Updated 3 months ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆525Updated 7 months ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆197Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆376Updated 3 months ago
• cjrd / directed-graph-creator
  Interactive tool for creating directed graphs
  ☆286Updated 2 years ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆105Updated last year
• anvaka / graph-drawing-libraries
  Trying to compare known graph drawing libraries
  ☆603Updated this week
• tammet / logictools
  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…
  ☆72Updated 4 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆226Updated 5 months ago
• probmods / webppl
  Probabilistic programming for the web
  ☆624Updated last year
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• UniMath / SymmetryBook
  This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
  ☆417Updated 2 weeks ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 6 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆182Updated 5 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆118Updated 2 years ago
• mstefaniuk / graph-viz-d3-js
  Graphviz web D3.js renderer
  ☆312Updated 7 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆100Updated 4 months ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆246Updated 10 years ago
• mauriciopoppe / interval-arithmetic
  An implementation of an algebraically closed interval system of the extended real number set
  ☆93Updated last month
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆81Updated 3 months ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆291Updated 5 months ago
• dagrejs / graphlib-dot
  A DOT language parser and writer for graphlib
  ☆228Updated 11 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆457Updated last week
• XimeraProject / server
  ☆59Updated 3 months ago