rkirsling / modallogicLinks
Modal Logic Playground
☆375Updated last year
Alternatives and similar repositories for modallogic
Users that are interested in modallogic are comparing it to the libraries listed below
Sorting:
- Parser for Attempto Controlled English (ACE)☆210Updated last year
- Tree Proof Generator☆177Updated last week
- ⚙️ A conflict-driven nogood learning answer set solver☆133Updated last week
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 7 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆107Updated 2 years ago
- Categorical Query Language IDE☆320Updated last week
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆74Updated 5 years ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆65Updated 8 years ago
- Probabilistic programming for the web☆635Updated last year
- ☆346Updated 7 years ago
- The Incredible Proof Machine☆388Updated last month
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- Conjure: The Automated Constraint Modelling Tool☆108Updated this week
- A port of Coq to Javascript -- Run Coq in your Browser☆536Updated this week
- Dyna2 compiler and REPL☆147Updated 5 years ago
- Grammatical Framework core: compiler, shell & runtimes☆147Updated 2 months ago
- An open source Prolog interpreter in JavaScript☆623Updated 2 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated 2 months ago
- Learn Prolog Now LaTeX sources☆101Updated 3 years ago
- Metagol - an inductive logic programming system☆206Updated 4 years ago
- Interactive tool for creating directed graphs☆286Updated 2 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆74Updated 4 years ago
- L-Functions and Modular Forms Database☆278Updated last week
- Sigma Knowledge Engineering Environment☆116Updated this week
- A simple Wolfram Language clone in Haskell☆245Updated 6 years ago
- ☆165Updated 6 years ago
- Life like molecular computers with artificial chemistry.☆138Updated 3 years ago
- A tool for analyzing and transforming context-free grammars.☆229Updated last month
- An Open Encyclopedia of Proof Systems☆120Updated 3 years ago