Python library for computational formal logic, formal semantics, and theorem proving
☆33Dec 13, 2025Updated 10 months ago
Alternatives and similar repositories for mathesis
Users that are interested in mathesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Build exams, tests, etc. with Typst—Moved to https://codeberg.org/ensko/typst-scrutinize☆13Jun 27, 2025Updated last year
- Public website for CodeX Academy.☆12Jan 27, 2023Updated 3 years ago
- My typst templates & utilities (WIP)☆27Oct 21, 2025Updated last year
- Propositional Dynamic Logic in Lean 4, showing Craig Interpolation via Tableau☆16Oct 17, 2026Updated 2 weeks ago
- 日本語／英語文献 Typstパッケージ☆17Aug 17, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- D4 is a Datalift module to visualize RDF DataCube data. Built with Bootstrap, D3 and CoffeeScript.☆12Sep 11, 2016Updated 10 years ago
- Core library for implementing the FROSTR signing protocol.☆12Feb 16, 2026Updated 8 months ago
- Code for TPAMI 2020 paper - A Generalized Earley Parser for Human Activity Parsing and Prediction☆13Nov 23, 2020Updated 5 years ago
- Links, guidance, and advice about universal algebra learning and research☆11Oct 16, 2018Updated 8 years ago
- A systematic design process for a self-organizing neuro-fuzzy Q-network for model-free and offline reinforcement learning.☆11May 29, 2023Updated 3 years ago
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 4 years ago
- A docker container skeleton for Flask micro-services☆11Mar 25, 2021Updated 5 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated 2 years ago
- CityJSON loader and renderer for Three.js, React-three-fiber, and Jupyter Notebook / JupyterLab☆14Sep 23, 2025Updated last year
- 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.
- A fast and lightweight Python RDF parser which wraps bindings to Rust's Rio using PyO3☆38Sep 26, 2023Updated 3 years ago
- This is a read-only mirror of the CRAN R package repository. frbs — Fuzzy Rule-Based Systems for Classification and Regression Tasks. H…☆12Jul 22, 2026Updated 3 months ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 11 months ago
- Reinforcement learning with VizDoom platform☆12Apr 18, 2022Updated 4 years ago
- ☆13Oct 4, 2026Updated 3 weeks ago
- Implementation of the Adaptive Resonance Theory (ART) architectures - Fuzzy ART and Fuzzy ARTMAP - for pattern recognition☆11Jan 6, 2019Updated 7 years ago
- Implementation of higher-order logic in Python☆68Feb 25, 2023Updated 3 years ago
- Explore/examine/explain/expose your model with the explabox!☆23Oct 14, 2025Updated last year
- quickly access a small slice from large geospatial data over http☆14Oct 28, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 日本語標準 Typst 用テンプレート☆10Mar 23, 2025Updated last year
- Code for Japanのproj-povertyで貧困問題に関するデータをipynbで分析するためのリポジトリ。誰でも協力歓迎！！☆12Aug 13, 2022Updated 4 years ago
- Mirror of the official ACT-R Lisp implementation☆15Mar 23, 2023Updated 3 years ago
- LCOV tracefile parser/merger/filter in pure Rust.☆18Oct 12, 2026Updated 3 weeks ago
- ☆16Mar 18, 2012Updated 14 years ago
- Lean 4 library and knowledge base for computational economics☆42Oct 14, 2026Updated 2 weeks ago
- Python package allowing for platform-agnostic, highly customizable sequence plotting in the console.☆17Feb 22, 2023Updated 3 years ago
- ☆15Oct 2, 2022Updated 4 years ago
- RDF Linked Data in Markdown☆49Jul 7, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆13Oct 26, 2025Updated last year
- Pythia is a plug'n'play engine for ontology-driven question answering over RDF data.☆15Mar 12, 2015Updated 11 years ago
- AI for Mathematics Paper List☆18Jan 14, 2025Updated last year
- CHR2 to SQL conversion☆15Aug 27, 2015Updated 11 years ago
- SPARQL Endpoint with functions for computing embedding similarities☆15Dec 8, 2022Updated 3 years ago
- A pytest plugin to organize and track algorithm visualizations☆18Dec 1, 2024Updated last year
- Convert RDF Turtle to N-Triples or N3P☆14Jan 14, 2019Updated 7 years ago