Tim Button's open textbook on set theory
☆41Jun 25, 2025Updated 8 months ago
Alternatives and similar repositories for set-theory
Users that are interested in set-theory are comparing it to the libraries listed below
Sorting:
- Textbook on Gödel's incompleteness theorems and computability theory☆22Jul 2, 2025Updated 7 months ago
- Textbook on metalogic based on the Open Logic Project☆44Jul 1, 2025Updated 7 months ago
- UCalgary version of forallx, an introduction to formal logic☆117Dec 18, 2025Updated 2 months ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Aug 26, 2025Updated 6 months ago
- An open-source, customizable intermediate logic textbook☆1,260Feb 17, 2026Updated last week
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago
- The Divine Companions Monorepo☆16Feb 20, 2026Updated last week
- Projeto colaborativo de tradução e adaptação do livro de lógica Forallx☆16May 16, 2024Updated last year
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Feb 17, 2022Updated 4 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
- A dotnet CLI tool for Saturn projects providing code generation and scaffolding.☆19Dec 24, 2022Updated 3 years ago
- TRAB is a Chrome extension that gives you a single button to mark tweet as spam, and block the tweet's creator☆15Feb 28, 2022Updated 4 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆20Apr 13, 2025Updated 10 months ago
- Logical Verification 2022-2023 course at VU Amsterdam☆18Jan 27, 2024Updated 2 years ago
- IYPT Projects for Capa Science High School Students☆34Oct 30, 2017Updated 8 years ago
- Resources and Materials for MATLAB Probability class☆10Oct 23, 2015Updated 10 years ago
- Python core implemented in F# language and under dotnetcore 3.1 or later.☆25May 14, 2020Updated 5 years ago
- Logic and Mechanized Reasoning☆115Jan 11, 2026Updated last month
- Shabdle is Wordle in Hindi☆26Mar 20, 2025Updated 11 months ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Dec 4, 2020Updated 5 years ago
- A Markdown version of the free textbook created by Walter Ott☆23Aug 8, 2014Updated 11 years ago
- Building group theory from scratch in Lean☆62Jan 24, 2021Updated 5 years ago
- A formal logic framework that runs in the browser☆325Dec 15, 2024Updated last year
- Workshop material for "Introduction to Data Processing with Python"☆40Apr 12, 2023Updated 2 years ago
- Security analyzers for the FSharp (F#) language☆38May 24, 2021Updated 4 years ago
- A Vim mode for FStar☆26Mar 24, 2023Updated 2 years ago
- Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…☆44Jun 2, 2019Updated 6 years ago
- ☆38May 22, 2025Updated 9 months ago
- Archive/Backup and Render GroupMe chats as JSON and HTML!☆12Aug 20, 2018Updated 7 years ago
- Notes on Advanced Placement Physics C: Electricity and Magnetism☆12May 13, 2019Updated 6 years ago
- Mona robot's basic functions and test code in Arduino☆11Jan 3, 2019Updated 7 years ago
- AXIS Virtual File System☆10Mar 31, 2017Updated 8 years ago
- SPBench: A Framework for Benchmarking Stream Processing Applications☆11Dec 16, 2025Updated 2 months ago
- ☆16Apr 11, 2025Updated 10 months ago
- A friendly, afternoon introduction to html and css.☆21Jul 18, 2014Updated 11 years ago
- Social coding with Git and GitHub.☆18Mar 21, 2015Updated 10 years ago
- Twine interactive source code.☆10Mar 4, 2019Updated 6 years ago
- ☆13May 25, 2024Updated last year
- Data files and scripts for the ASU PHY494 class. Will be updated as we go along.☆10Jan 6, 2022Updated 4 years ago