Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
☆83Jan 4, 2026Updated 4 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 month
- Awesome Mathematical Olympiads/Competitions/Contests☆25Jun 7, 2025Updated 11 months ago
- Collect User templates for everyone to use☆11Aug 18, 2025Updated 9 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- The formal proof of the Odd Order Theorem☆37Apr 17, 2026Updated last month
- 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.
- miniKanren for interactive tutorials on the web☆34Jun 3, 2025Updated 11 months ago
- This is the CoCalc Electron desktop application.☆19Sep 30, 2022Updated 3 years ago
- being the materials for Summer 2013's course☆113Apr 25, 2023Updated 3 years ago
- CS410 "Advanced Functional Programming"☆33Mar 25, 2026Updated last month
- Desktop Sanskrit-English Dictionary☆12Jul 7, 2020Updated 5 years ago
- Functions to scrape web pages from ebird.org☆10Jul 15, 2025Updated 10 months ago
- Basic Analysis, undergraduate real analysis textbook☆88Updated this week
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 4 months ago
- A solutions manual for Topology by James Munkres☆16Aug 12, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆37Jul 14, 2023Updated 2 years ago
- Propositional logic evaluator and rule-based pattern matcher☆21Sep 14, 2022Updated 3 years ago
- [WIP] Private exitnode to open Onion Services via Tailscale IPN☆13May 27, 2023Updated 2 years ago
- Basics of the dependently-typed functional language Agda ^_^☆43Jan 6, 2022Updated 4 years ago
- ☆12May 14, 2023Updated 3 years ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆17May 15, 2026Updated last week
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- 📱 Trigger easter eggs on mobile device☆14May 28, 2019Updated 6 years ago
- TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures☆10Mar 29, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Spawn multiple concurrent unix terminals in Discord☆11Jun 1, 2021Updated 4 years ago
- automatic glossary in Quarto with the nutshell extension☆13Jan 24, 2023Updated 3 years ago
- A starter for a blog powered by Gatsby and ReasonML☆14Jan 11, 2023Updated 3 years ago
- Todo list management in bash☆16Jan 9, 2013Updated 13 years ago
- A utility micro-crate for using `Into` more ergonomically.☆12May 17, 2021Updated 5 years ago
- ☆16Nov 12, 2025Updated 6 months ago
- My solutions to Ahlfors Complex Analysis☆27Nov 8, 2022Updated 3 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
- 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.
- The ultimate guide to using NixOS, for new users☆11Nov 16, 2019Updated 6 years ago
- Simple HTML package documentation☆12Jan 14, 2026Updated 4 months ago
- Automatically calculate strong passwords☆13Aug 28, 2020Updated 5 years ago
- ☆18Jan 16, 2024Updated 2 years ago
- Experiments in Synthetic Differential Geometry☆16Jul 1, 2021Updated 4 years ago
- CSS Typed functional interface in jsoo, bindings to inline styles and emotion☆12Oct 9, 2023Updated 2 years ago
- ☆10Mar 26, 2024Updated 2 years ago