Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
☆15Oct 2, 2025Updated 5 months ago
Alternatives and similar repositories for Mathematical-Logic-Through-Python
Users that are interested in Mathematical-Logic-Through-Python are comparing it to the libraries listed below
Sorting:
- 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 2 months ago
- Python for Mathematics: A book aimed at undergraduate mathematicians learning python☆26Jul 15, 2025Updated 7 months ago
- BlipMQ simplifies real-time communication between microservices and distributed systems with a lightweight, blazing-fast broker that just…☆21Feb 3, 2026Updated last month
- Sift client libraries and protocol buffers☆17Feb 26, 2026Updated last week
- A Clojure library for deconstructing Korean unicode syllable characters into alphabet characters☆10Nov 22, 2021Updated 4 years ago
- Repository for my machine learning students during the Spring 2022 semester☆26Sep 1, 2023Updated 2 years ago
- Powerful, developer-experience centric, blazingly fast and extensible job scheduler and workflow orchestration platform☆26Updated this week
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- This project uses Raspberry Pi to create an offline WiFi hotspot and chat room, allowing the general public to connect to the Meshtastic …☆27Feb 5, 2026Updated last month
- ☆17Jan 3, 2025Updated last year
- Jupyter Notebooks from book UNDERSTANDING DEEP LEARNING (Prof Simon Prince) that I could solve.☆12Mar 20, 2024Updated last year
- マキノJ3シリーズにFANUC FOCASライブラリを使って通信するPythonのサンプルです。☆15Mar 29, 2019Updated 6 years ago
- Chat interface and library for interacting with different LLMs via Emacs.☆13Mar 19, 2025Updated 11 months ago
- Entire is a new developer platform that hooks into your git workflow to capture AI agent sessions on every push, unifying your code with …☆28Updated this week
- Implementation of multi-output conformal regression methods☆13Sep 23, 2025Updated 5 months ago
- ReifyDB is a database for application state☆10Updated this week
- ☆15Apr 6, 2016Updated 9 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆22Feb 6, 2026Updated 3 weeks ago
- Use MPV to play media files via Dired in GNU Emacs. 🪈🎶☆11Oct 25, 2024Updated last year
- ☆16Oct 2, 2022Updated 3 years ago
- Source code for MA4270: Data Modelling and Computation on Transformers and Nadaraya-Watson Kernel Regression☆19May 29, 2024Updated last year
- Orthogonal Quantile Regression☆12Oct 21, 2021Updated 4 years ago
- Option, Try, Either, and some more common basic DataTypes☆14Jul 1, 2023Updated 2 years ago
- Symmetric Sweep Operator☆12Feb 17, 2026Updated 2 weeks ago
- CompCertX features to be merged into CompCert☆10Jan 2, 2018Updated 8 years ago
- The MQTTv5 protocol for Python written in Rust☆16Updated this week
- VelesDB is a local‑first AI data engine written in Rust that unifies vectors, full‑text and graph in a single file with a familiar SQL‑li…☆28Updated this week
- My Dotfiles☆12Feb 23, 2026Updated last week
- ☆17Jul 23, 2025Updated 7 months ago
- This is the core functions needed by the `tsmp` package. The low level and carefully checked mathematical functions are here. These are i…☆12Dec 16, 2025Updated 2 months ago
- A package for Emacs to connect to different embedding databases☆27Oct 12, 2025Updated 4 months ago
- ☆11Sep 17, 2024Updated last year
- Decision support for the design of patient-centered research, allowing you to blend different methods an answer novel and meaningful pati…☆12Feb 3, 2023Updated 3 years ago
- Web Graphical User Interface (GUI) for Gas Town multi-agent orchestrator - A companion interface for steveyegge/gastown☆28Feb 12, 2026Updated 3 weeks ago
- Benchmark of common hash functions☆10Sep 15, 2019Updated 6 years ago
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- ☆12Mar 5, 2024Updated 2 years ago
- My configuration files☆10Updated this week