Python library for computational formal logic, formal semantics, and theorem proving
☆32Dec 13, 2025Updated 5 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:
- Python library and utility for PLATEAU datasets by MLIT Japan☆28Jan 11, 2026Updated 4 months ago
- Web Framework accelerates the development process with its flexibility & speed of use. Written as a library in C language. You can custom…☆15Dec 30, 2025Updated 4 months ago
- ☆11Jan 8, 2025Updated last year
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- My typst templates & utilities (WIP)☆28Oct 21, 2025Updated 7 months ago
- GitHub IssueをProjectに自動登録☆10Updated this week
- A docker container skeleton for Flask micro-services☆11Mar 25, 2021Updated 5 years ago
- Reinforcement learning with VizDoom platform☆13Apr 18, 2022Updated 4 years ago
- A WebAssembly implementation in Lean4☆43Dec 13, 2023Updated 2 years ago
- ☆15Oct 5, 2020Updated 5 years ago
- Implementation of higher-order logic in Python☆68Feb 25, 2023Updated 3 years ago
- Manage objects inside a cdn☆19May 1, 2026Updated 3 weeks ago
- 日本語／英語文献 Typstパッケージ☆16Dec 21, 2025Updated 5 months 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 systematic design process for a self-organizing neuro-fuzzy Q-network for model-free and offline reinforcement learning.☆11May 29, 2023Updated 2 years ago
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆16Jan 5, 2026Updated 4 months ago
- Implementation of the Adaptive Resonance Theory (ART) architectures - Fuzzy ART and Fuzzy ARTMAP - for pattern recognition☆11Jan 6, 2019Updated 7 years ago
- A simple launcher to edit text files on the fly and launch files, folders, websites and websearches.☆11Apr 10, 2023Updated 3 years ago
- quickly access a small slice from large geospatial data over http☆14Oct 28, 2025Updated 6 months ago
- Pythia is a plug'n'play engine for ontology-driven question answering over RDF data.☆15Mar 12, 2015Updated 11 years ago
- ToDo list cli app backend by Nostr relay☆12Feb 4, 2024Updated 2 years ago
- Formalization of the Millennium Problems in Lean 4☆48Jan 16, 2026Updated 4 months ago
- 日本語標準 Typst 用テンプレート☆11Mar 23, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Show more information on lualine☆21Oct 21, 2025Updated 7 months ago
- Code for Japanのproj-povertyで貧困問題に関するデータをipynbで分析するためのリポジトリ。誰でも協力歓迎！！☆12Aug 13, 2022Updated 3 years ago
- Read and query HDT documents with ease in Python☆13Mar 18, 2020Updated 6 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Mar 29, 2026Updated last month
- Python package allowing for platform-agnostic, highly customizable sequence plotting in the console.☆16Feb 22, 2023Updated 3 years ago
- Browser support for Lean using a monaco editor.☆15May 1, 2026Updated 3 weeks ago
- A library of Jupyter Notebook Templates for Data Science☆12Jul 5, 2021Updated 4 years ago
- NeurIPS 2020☆17Jun 18, 2021Updated 4 years ago
- An experimental open-source attempt to make GPT-4 fully autonomous.☆15Apr 13, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- python based YAML-to-OWL-converter☆18May 20, 2022Updated 4 years ago
- [IJCAI 2022] "Dynamic Sparse Training for Deep Reinforcement Learning" by Ghada Sokar, Elena Mocanu , Decebal Constantin Mocanu, Mykola P…☆15May 13, 2022Updated 4 years ago
- Code for the Brutalist pelican theme release notes / dummy site --->☆13Mar 5, 2019Updated 7 years ago
- Exploring algorithms in the domain of offline reinforcement learning (REM, Ensemble-DQN, DQN, ...)☆17Jul 7, 2020Updated 5 years ago
- Postes, Télégraphes et Téléphones☆28Apr 13, 2026Updated last month
- A framework for applied category theory in the Julia language☆20Oct 11, 2024Updated last year
- ☆12Jul 14, 2025Updated 10 months ago