hjbolus / Mathematical-Logic-Through-PythonView external linksLinks
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
☆13Oct 2, 2025Updated 4 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 last month
- Python for Mathematics: A book aimed at undergraduate mathematicians learning python☆26Jul 15, 2025Updated 6 months ago
- BlipMQ simplifies real-time communication between microservices and distributed systems with a lightweight, blazing-fast broker that just…☆21Feb 3, 2026Updated last week
- A Clojure library for deconstructing Korean unicode syllable characters into alphabet characters☆10Nov 22, 2021Updated 4 years ago
- Sift client libraries and protocol buffers☆15Feb 6, 2026Updated last week
- Repository for my machine learning students during the Spring 2022 semester☆23Sep 1, 2023Updated 2 years ago
- Chat interface and library for interacting with different LLMs via Emacs.☆13Mar 19, 2025Updated 10 months ago
- マキノJ3シリーズにFANUC FOCASライブラリを使って通信するPythonのサンプルです。☆15Mar 29, 2019Updated 6 years ago
- 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 week
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆21Feb 6, 2026Updated last week
- ☆17Jan 3, 2025Updated last year
- PAKCS: The Portland Aachen Kiel Curry system☆14Dec 16, 2025Updated last month
- A crate for working with the Task Execution Service (TES) specification.☆13Jan 8, 2026Updated last month
- An implementation of Self-Calibrating Conformal Prediction, accepted to Neurips 2024. SC-CP combines Venn-Abers calibration and conformal…☆10Jan 28, 2025Updated last year
- R Package for Spatial Conformal Prediction☆10Aug 6, 2022Updated 3 years ago
- ☆11Dec 29, 2024Updated last year
- Automatic SurrealDB migrations with a concise DSL☆26Jan 28, 2026Updated 2 weeks ago
- Orthogonal Quantile Regression☆12Oct 21, 2021Updated 4 years ago
- My configuration files☆10Feb 4, 2026Updated last week
- The Val Programming Language☆11Sep 28, 2021Updated 4 years ago
- ☆12Dec 30, 2025Updated last month
- Belief state estimation for Stanford's CS238/AA228 Decision Making Under Uncertainty☆10Nov 16, 2023Updated 2 years ago
- ☆11Sep 17, 2024Updated last year
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆10May 10, 2017Updated 8 years ago
- 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
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 2 months ago
- My Dotfiles☆12Jan 10, 2026Updated last month
- Source code for MA4270: Data Modelling and Computation on Transformers and Nadaraya-Watson Kernel Regression☆18May 29, 2024Updated last year
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- A package for Emacs to connect to different embedding databases☆27Oct 12, 2025Updated 4 months ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Dec 15, 2025Updated last month
- Symmetric Sweep Operator☆12Sep 10, 2024Updated last year
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- Helper code for dm-log-writes target.☆13Jul 9, 2024Updated last year
- Implementation of multi-output conformal regression methods☆13Sep 23, 2025Updated 4 months ago
- Mirror of https://codeberg.org/krisbalintona/emacs-config☆11Feb 7, 2026Updated last week
- CompCertX features to be merged into CompCert☆10Jan 2, 2018Updated 8 years ago
- Option, Try, Either, and some more common basic DataTypes☆14Jul 1, 2023Updated 2 years ago
- An actor implementation in Rust☆10Oct 12, 2025Updated 4 months ago