Tim Button's open textbook on set theory
☆44Jul 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:
- Open textbook on modal logic☆25Jul 12, 2026Updated 2 months ago
- P.D. Magnus' forallx logic textbook☆71Mar 30, 2025Updated last year
- UCalgary version of forallx, an introduction to formal logic☆130Oct 3, 2026Updated last week
- An open-source, customizable intermediate logic textbook☆1,380Aug 14, 2026Updated last month
- A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)☆16Apr 13, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Logic and Mechanized Reasoning☆118Jan 11, 2026Updated 8 months ago
- Tim Button's Cambridge version of forallx☆16Sep 26, 2018Updated 8 years ago
- IYPT Projects for Capa Science High School Students☆34Oct 30, 2017Updated 8 years ago
- Projeto colaborativo de tradução e adaptação do livro de lógica Forallx☆16May 16, 2024Updated 2 years ago
- A solutions manual for Introduction to Set Theory by Hrbacek and Jech☆11Aug 30, 2024Updated 2 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 month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Homework Template for Typst☆13Apr 5, 2023Updated 3 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 7 years ago
- 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☆18Jan 27, 2024Updated 2 years ago
- Solutions to Linear Algebra Done Right by Sheldon Axler, 3rd Edition☆21Jun 29, 2022Updated 4 years ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Feb 17, 2022Updated 4 years ago
- ☆16Mar 14, 2024Updated 2 years ago
- ☆13Jun 21, 2017Updated 9 years ago
- Interpreter of the ITGL with dynamic type inference☆22Feb 24, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Data processing pipelines☆14Updated this week
- Tool for semantic querying of Rust code.☆13Jan 19, 2020Updated 6 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 3 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.☆12Sep 18, 2026Updated 3 weeks ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Nov 27, 2016Updated 9 years ago
- A dotnet CLI tool for Saturn projects providing code generation and scaffolding.☆19Dec 24, 2022Updated 3 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆17Oct 6, 2023Updated 3 years ago
- A consumer + rpc interface for asynchronous task execution☆17Updated this week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Jul 4, 2019Updated 7 years ago
- ☆13Nov 30, 2022Updated 3 years ago
- Design, Test & Optimize Powerful Algorithms with Full Control☆16Nov 30, 2025Updated 10 months ago
- This repository contains the source code and data for Inverse Geometric Locomotion, published at SIGGRAPH 2025.☆21Sep 29, 2025Updated last year
- ☆17Apr 11, 2025Updated last year
- 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