Tim Button's open textbook on set theory
☆41Jun 25, 2025Updated 10 months ago
Alternatives and similar repositories for set-theory
Users that are interested in set-theory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Textbook on Gödel's incompleteness theorems and computability theory☆22Jul 2, 2025Updated 10 months ago
- Open textbook on modal logic☆25Jul 1, 2025Updated 10 months ago
- P.D. Magnus' forallx logic textbook☆70Mar 30, 2025Updated last year
- UCalgary version of forallx, an introduction to formal logic☆124Dec 18, 2025Updated 5 months ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 23, 2026Updated last month
- 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.
- Logic and Mechanized Reasoning☆116Jan 11, 2026Updated 4 months ago
- Tim Button's Cambridge version of forallx☆16Sep 26, 2018Updated 7 years ago
- KANs and MLPs☆12Jun 7, 2024Updated last year
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆20Apr 13, 2025Updated last year
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated last year
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- Homework Template for Typst☆13Apr 5, 2023Updated 3 years ago
- The Divine Companions Monorepo☆16Feb 28, 2026Updated 2 months ago
- 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.
- ☆16Mar 14, 2024Updated 2 years ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Feb 17, 2022Updated 4 years ago
- ☆13Jun 21, 2017Updated 8 years ago
- Interpreter of the ITGL with dynamic type inference☆22Feb 24, 2025Updated last year
- A mirror of fallingblocks (with minor updates)☆12Apr 16, 2015Updated 11 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Supporting tool for Gradual Typing☆16May 12, 2020Updated 6 years ago
- Aussie AI Base C++ Library is the source code repo for the book Generative AI in C++, along with various other AI/ML kernels.☆22Aug 30, 2024Updated last year
- Haskell completion source for Emacs auto-complete package☆16Apr 22, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Tool for semantic querying of Rust code.☆13Jan 19, 2020Updated 6 years ago
- Implementation of generative semantic grammar.☆17Jun 2, 2022Updated 3 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Nov 27, 2016Updated 9 years ago
- POC of CVE-2025-7783☆32Oct 31, 2025Updated 6 months ago
- ☆13Nov 30, 2022Updated 3 years ago
- Scala interfaces to huggingface transformers and tokenizers☆13Apr 27, 2026Updated 3 weeks ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆15Jul 4, 2019Updated 6 years ago
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Beautiful, interactive visualizations of logical inference☆153Mar 10, 2021Updated 5 years ago
- Ruby script to convert Concepts SVG files into multiple PDF pages☆11Jun 1, 2022Updated 3 years ago
- Tools for defining and parsing configurations of Haskell applications☆23Mar 5, 2025Updated last year
- ☆14Apr 5, 2023Updated 3 years ago
- Reachability analysis and synthesis of parameters for polynomial dynamical systems☆11May 15, 2023Updated 3 years ago
- Angular 13 File Upload example with Progress Bar, Bootstrap and Rest Api - using HttpClient module☆11Dec 13, 2022Updated 3 years ago
- ☆16Apr 11, 2025Updated last year