Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
☆78Jan 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 month
- Awesome Mathematical Olympiads/Competitions/Contests☆22Jun 7, 2025Updated 10 months ago
- Collect User templates for everyone to use☆10Aug 18, 2025Updated 8 months ago
- ☆34Mar 16, 2026Updated last month
- Repo for software related to Software Systems at Olin College.☆13Oct 5, 2015Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The formal proof of the Odd Order Theorem☆37Apr 17, 2026Updated 2 weeks ago
- miniKanren for interactive tutorials on the web☆34Jun 3, 2025Updated 10 months ago
- Calculate the dn/ds (also pn and ps) value of cds☆14Jul 11, 2020Updated 5 years 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"☆32Mar 25, 2026Updated last month
- Desktop Sanskrit-English Dictionary☆12Jul 7, 2020Updated 5 years ago
- NGS perl modules☆10Apr 23, 2026Updated last week
- Primer Seek in RNA-Seq. Designs RT-PCR primers that validate alternative splicing events from RNA-Seq data.☆13Nov 27, 2016Updated 9 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.
- Material for the RNAseq course☆10Aug 8, 2019Updated 6 years ago
- Basic Analysis, undergraduate real analysis textbook☆88Updated this week
- This tool designs guides for use with the base editor technology.☆12Aug 11, 2023Updated 2 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 10 months ago
- Putting eBird on the decentralized web☆10Jan 7, 2023Updated 3 years ago
- ☆35Jul 14, 2023Updated 2 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
- 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.
- TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures☆10Mar 29, 2019Updated 7 years ago
- Spawn multiple concurrent unix terminals in Discord☆11Jun 1, 2021Updated 4 years ago
- Programming for Biology @ CSHL 2023☆14Oct 17, 2025Updated 6 months ago
- Todo list management in bash☆16Jan 9, 2013Updated 13 years ago
- ☆16Nov 12, 2025Updated 5 months ago
- A utility micro-crate for using `Into` more ergonomically.☆12May 17, 2021Updated 4 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A helper to save me some keystrokes from nix-prefetch-git.☆13Apr 8, 2019Updated 7 years ago
- The ultimate guide to using NixOS, for new users☆11Nov 16, 2019Updated 6 years ago
- ☆16Apr 11, 2023Updated 3 years ago
- Optimise PCR primer-set grouping for genetics research☆18Feb 24, 2026Updated 2 months ago
- Declarative command-line parsing for OCaml☆17Updated this week
- Automatically calculate strong passwords☆13Aug 28, 2020Updated 5 years ago
- Brainfuck syntax highlight plugin for vim.☆10Apr 29, 2025Updated last year