Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
☆77Jan 4, 2026Updated 3 months ago
Alternatives and similar repositories for Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition
Users that are interested in Halmos-Naive-Set-Theory-OCR-LaTeX-Reedition are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆13Mar 29, 2026Updated last week
- Awesome Mathematical Olympiads/Competitions/Contests☆23Jun 7, 2025Updated 10 months ago
- Tools for managing the TeX sources of the Stacks project☆16Jun 8, 2024Updated last year
- Simplify writing quantum assembly code☆13Nov 13, 2020Updated 5 years ago
- R-Ladies Philly 2019 Community Data Project: PAWS☆14Jun 6, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Collect User templates for everyone to use☆10Aug 18, 2025Updated 7 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- GF4 - a Python program to display two-dimensional data and perform math operations in it☆16Nov 16, 2025Updated 4 months ago
- Recalling node properties from a knowledge graph☆20Sep 23, 2022Updated 3 years ago
- ☆34Mar 16, 2026Updated 3 weeks ago
- ☆20Dec 2, 2019Updated 6 years ago
- The formal proof of the Odd Order Theorem☆37Apr 1, 2026Updated last week
- This is the CoCalc Electron desktop application.☆18Sep 30, 2022Updated 3 years ago
- being the materials for Summer 2013's course☆113Apr 25, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- CS410 "Advanced Functional Programming"☆31Mar 25, 2026Updated 2 weeks ago
- Functions to scrape web pages from ebird.org☆10Jul 15, 2025Updated 8 months ago
- LDAP parser written in pure Rust. Fast, zero-copy, safe.☆13Jan 19, 2026Updated 2 months ago
- One Big Text File (OBTF) Journal in Markdown☆19Jan 17, 2026Updated 2 months ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- Basic Analysis, undergraduate real analysis textbook☆89Mar 30, 2026Updated last week
- Contains Latex document: All solutions to M.A. Armstrong's "Basic Topology"☆13Jan 3, 2023Updated 3 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 3 months ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆66Jun 30, 2025Updated 9 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆35Jul 14, 2023Updated 2 years ago
- Putting eBird on the decentralized web☆10Jan 7, 2023Updated 3 years ago
- Basics of the dependently-typed functional language Agda ^_^☆43Jan 6, 2022Updated 4 years ago
- [WIP] Private exitnode to open Onion Services via Tailscale IPN☆13May 27, 2023Updated 2 years ago
- ☆11May 14, 2023Updated 2 years ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆16Mar 30, 2026Updated last week
- TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures☆10Mar 29, 2019Updated 7 years ago
- Link your Minestom and Vanilla server to get accurate terrain.☆13Mar 30, 2023Updated 3 years ago
- automatic glossary in Quarto with the nutshell extension☆13Jan 24, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A starter for a blog powered by Gatsby and ReasonML☆14Jan 11, 2023Updated 3 years ago
- ☆16Nov 12, 2025Updated 4 months ago
- A utility micro-crate for using `Into` more ergonomically.☆12May 17, 2021Updated 4 years ago
- My solutions to Ahlfors Complex Analysis☆27Nov 8, 2022Updated 3 years ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- 🦅 🎲 Roc library for number generation (and more!)☆10Feb 13, 2025Updated last year
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Feb 26, 2023Updated 3 years ago