Logical English 2: rules, contracts and regulations written in English that a computer runs and explains. Every answer with its reasons, tests inside the program, citations, views, five languages. Reads twelve other rule languages (LegalRuleML, s(CASP), Blawx, L4, Drools, Solidity, Daml, Miniscript…). Try it in your browser.
☆14Nov 2, 2026Updated this week
Alternatives and similar repositories for LogicalEnglish2
Users that are interested in LogicalEnglish2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- externalized source code metadata☆12Jan 20, 2023Updated 3 years ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 3 years ago
- top-down interpreter for ASP programs with constraints☆20Sep 19, 2022Updated 4 years ago
- Port of Cyc to Common Lisp☆27May 11, 2026Updated 5 months ago
- ☆11Dec 14, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A VS Code extension that provides language support for prolog☆17Mar 2, 2025Updated last year
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 6 years ago
- Example rules as code implementations☆14Aug 27, 2020Updated 6 years ago
- More Enhancements for RateYourMusic 🎧. Fork of the jgchk's repo.☆23Updated this week
- ☆10May 14, 2025Updated last year
- realtime llm-powered fact-checking & emotional analysis☆11Jun 27, 2024Updated 2 years ago
- Platform for making incremental changes to code in VCSes☆16Updated this week
- The Free Life Planner Reference Manual☆11May 15, 2025Updated last year
- Etymology lookup/Wiktionary browser in Emacs☆17Sep 27, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆13May 3, 2021Updated 5 years ago
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆18Apr 3, 2024Updated 2 years ago
- ☆12Jun 18, 2020Updated 6 years ago
- Your AI-Powered Personal Finance Assistant☆35Jul 26, 2025Updated last year
- ☆25Aug 16, 2026Updated 2 months ago
- ELOT Literate Ontology Tool☆39Updated this week
- Cal-DPO: Calibrated Direct Preference Optimization for Language Model Alignment (NeurIPS 2024)☆14Dec 7, 2024Updated last year
- Chatbot impls in Prolog☆16Feb 15, 2022Updated 4 years ago
- A Docker image for running the ACL2 theorem proving system and books in JupyterLab.☆14Oct 18, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Docassemble package to allow documents to be sent straight out via docusign☆16Jul 31, 2020Updated 6 years ago
- ☆19Mar 6, 2026Updated 7 months ago
- Logic-based meal optimizer☆17Aug 13, 2021Updated 5 years ago
- discover information about upstream projects☆19Oct 26, 2026Updated last week
- How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)☆12Dec 19, 2022Updated 3 years ago
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆29Oct 22, 2026Updated last week
- Raytracer☆14Sep 20, 2022Updated 4 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆17Feb 6, 2022Updated 4 years ago
- SoMeSci: Software Mentions in Science☆11Nov 25, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- https://learnaifromscratch.github.io/☆16Oct 16, 2026Updated 2 weeks ago
- Top-down interpreter for ASP programs with Constraints☆48Oct 18, 2026Updated 2 weeks ago
- Apps for speech recognition and speech synthesis☆12Aug 21, 2025Updated last year
- ☆16Apr 4, 2026Updated 6 months ago
- Agile Law Execution Factory☆30Updated this week
- An elegant Go coding agent, for more civilized times☆24Updated this week
- An Emacs package for displaying the output of an i3status compatible command in the mode-line or tab-bar.☆23Jan 2, 2026Updated 10 months ago