Tim Button's open textbook on set theory
☆43Jul 12, 2026Updated 2 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☆23Jul 12, 2026Updated 2 months ago
- Open textbook on modal logic☆25Jul 12, 2026Updated 2 months ago
- Textbook on metalogic based on the Open Logic Project☆44Jul 12, 2026Updated 2 months ago
- UCalgary version of forallx, an introduction to formal logic☆130Updated this week
- An open-source, customizable intermediate logic textbook☆1,365Aug 14, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🧊 TeX-подібна система верстки наукових праць☆21Mar 23, 2026Updated 5 months ago
- A Markdown version of the free textbook created by Walter Ott☆23Aug 8, 2014Updated 12 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆22Apr 13, 2025Updated last year
- A simple library implementation of binary sessions☆11Jun 18, 2024Updated 2 years ago
- Converts cargo check (and clippy) JSON output to the GitHub Action error format☆15Jun 17, 2024Updated 2 years ago
- The Divine Companions Monorepo☆16Sep 8, 2026Updated last week
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Jan 31, 2016Updated 10 years ago
- Logical Verification 2022-2023 course at VU Amsterdam☆19Jan 27, 2024Updated 2 years ago
- ☆16Mar 14, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Interpreter of the ITGL with dynamic type inference☆22Feb 24, 2025Updated last year
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- Implementation of generative semantic grammar.☆17Jun 2, 2022Updated 4 years ago
- Back end for producing indicators and loading them into the COVIDcast API.☆12Updated this week
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆17Oct 6, 2023Updated 2 years ago
- ☆13Nov 30, 2022Updated 3 years ago
- ☆17Apr 11, 2025Updated last year
- This repository contains the source code and data for Inverse Geometric Locomotion, published at SIGGRAPH 2025.☆21Sep 29, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 6 years ago
- Reachability analysis and synthesis of parameters for polynomial dynamical systems☆11May 15, 2023Updated 3 years ago
- ☆14Apr 5, 2023Updated 3 years ago
- Ruby script to convert Concepts SVG files into multiple PDF pages☆11Jun 1, 2022Updated 4 years ago
- Uncertainty quantification using martingales for misspecified Gaussian processes☆10Feb 15, 2021Updated 5 years ago
- ☆86Apr 7, 2020Updated 6 years ago
- The OpenAPI Specification Repository☆12Jul 12, 2023Updated 3 years ago
- A collection of MathJax extensions provided by third-party contributors☆10Oct 23, 2017Updated 8 years ago
- Hashing, searching, sorting, tree algorithms, dynamic programming, greedy algorithms, divide and conquer, random number generation, and r…☆10Apr 20, 2018Updated 8 years 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.
- Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…☆22May 29, 2024Updated 2 years ago
- A puzzle game for the Game Boy☆20Jun 17, 2025Updated last year
- Staged programming for Rust. Write type-safe proc macros and high-level APIs that generate efficient code.☆18Updated this week
- The Open Scholarly Edition of James Joyce's A Portrait of the Artist as a Young Man☆21May 10, 2019Updated 7 years ago
- A formal logic framework that runs in the browser☆349Sep 13, 2026Updated last week
- Notes on Advanced Placement Physics C: Electricity and Magnetism☆13May 13, 2019Updated 7 years ago
- Cookiecutter for community-maintained Jupyter Docker images☆18Sep 7, 2026Updated last week