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
☆22Oct 2, 2025Updated 11 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- "The Ray Tracer Challenge" (http://www.raytracerchallenge.com) implemented in OCaml☆16Nov 18, 2019Updated 6 years ago
- A simple text editor written in OCaml☆14Nov 10, 2023Updated 2 years ago
- Discover Common Lisp open-source contributors and their best contributions! Add yourself!☆17Sep 15, 2025Updated 11 months ago
- A wireframe renderer written in OCaml☆21Oct 18, 2023Updated 2 years ago
- Template for the Async workshop at EuroRust, with vendored dependencies☆10Oct 8, 2024Updated last year
- 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.
- ☆20Mar 7, 2019Updated 7 years ago
- ☆25Jul 11, 2026Updated last month
- Concise Common Workflow Language☆29Jul 23, 2026Updated last month
- a plugin for SimonW llm CLI which analyses diffs in a local git repository , generates commit messages in an interactive prompt & commits☆20Jun 27, 2025Updated last year
- ☆15Apr 21, 2021Updated 5 years ago
- Sentiment and language detection for text analytics.☆17Jul 3, 2024Updated 2 years ago
- raylib guile bindings for my good friend jacob's birthday☆37May 4, 2024Updated 2 years ago
- Option, Try, Either, and some more common basic DataTypes☆13Jul 1, 2023Updated 3 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆44May 6, 2026Updated 3 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.
- Extensible Emacs-like text editor with Guile☆51Nov 16, 2024Updated last year
- My LazyVim setup for Termux 📱✨ Simple and functional, not perfect but it works 🚀.☆19Nov 4, 2025Updated 10 months ago
- Go library for decoding generic map values and native Go structures into Arrow.☆19Jan 30, 2026Updated 7 months ago
- Import hook for maturin☆19Jul 11, 2026Updated last month
- Python Package for ducklake☆20Jun 5, 2025Updated last year
- Example of using the Apache Arrow C Data Interface between Python and Rust☆24Feb 10, 2024Updated 2 years ago
- fanuc mtconnect adapter☆12Jan 22, 2016Updated 10 years ago
- Async Design Patterns Workshop☆20Sep 5, 2025Updated 11 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…☆12Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple cross-platform OCaml code editor built for top-level evaluation.☆67Feb 7, 2023Updated 3 years ago
- Tools for Measuring Classification Performance for R, Python and Spark☆13Jun 5, 2018Updated 8 years ago
- A rust implementation of Andrej Karpathy's Micrograd☆15Apr 28, 2025Updated last year
- A Clojure library for deconstructing Korean unicode syllable characters into alphabet characters☆10Nov 22, 2021Updated 4 years ago
- R Package for Spatial Conformal Prediction☆10Aug 6, 2022Updated 4 years ago
- Mojo 🔥 Language Syntax Highlighting for Vim☆16Feb 28, 2026Updated 6 months ago
- Orthogonal Quantile Regression☆11Oct 21, 2021Updated 4 years ago
- A comparison of some conformal quantile regression methods.☆12Sep 14, 2019Updated 6 years ago
- A command-line client for 750words.com.☆13Jun 25, 2022Updated 4 years ago
- 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.
- Orchestrator for Claude Code☆29Feb 1, 2026Updated 7 months ago
- Benchmark of common hash functions☆10Sep 15, 2019Updated 6 years ago
- livewin(来玩)直播服务☆11Jul 16, 2025Updated last year
- ☆11Jul 9, 2026Updated last month
- Regression-based multi-period difference-in-differences with heterogenous treatment effects☆13Mar 11, 2022Updated 4 years ago
- Chat interface and library for interacting with different LLMs via Emacs.☆15Mar 19, 2025Updated last year
- ☆12May 8, 2026Updated 3 months ago