Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
☆85Jan 4, 2026Updated 5 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☆13Jun 3, 2026Updated last week
- Awesome Mathematical Olympiads/Competitions/Contests☆26Jun 7, 2025Updated last year
- 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
- miniKanren for interactive tutorials on the web☆34Jun 3, 2025Updated last year
- 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.
- This is the CoCalc Electron desktop application.☆19Sep 30, 2022Updated 3 years ago
- CS410 "Advanced Functional Programming"☆32Mar 25, 2026Updated 2 months ago
- Desktop Sanskrit-English Dictionary☆12Jul 7, 2020Updated 5 years ago
- Functions to scrape web pages from ebird.org☆10Jul 15, 2025Updated 10 months ago
- 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 5 months ago
- A solutions manual for Topology by James Munkres☆16Aug 12, 2018Updated 7 years ago
- Putting eBird on the decentralized web☆10Jan 7, 2023Updated 3 years ago
- ☆37Jul 14, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 18, 2026Updated 3 weeks ago
- 📱 Trigger easter eggs on mobile device☆15May 28, 2019Updated 7 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- automatic glossary in Quarto with the nutshell extension☆13Jan 24, 2023Updated 3 years ago
- A utility micro-crate for using `Into` more ergonomically.☆12May 17, 2021Updated 5 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
- Anonymous enum and checked exception for Rust.☆23Apr 4, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Simple HTML package documentation☆12Jan 14, 2026Updated 5 months ago
- Greek/English version of Euclid's Elements☆50Mar 4, 2026Updated 3 months 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
- A Unicode library for OCaml☆16Apr 19, 2026Updated last month
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- ☆10Aug 11, 2023Updated 2 years ago
- Sketch a pipeline of targets in an interactive web app☆18Apr 2, 2024Updated 2 years ago
- Semantic emoji finder. Python/dash UI. Uses sentence transformer embeddings and duckdb☆20Sep 15, 2025Updated 8 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.
- Format and Complete Few-Shot LLM Prompts☆21Apr 22, 2026Updated last month
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- htmlwidget for the G6 Graph Visualization Framework☆30Apr 29, 2026Updated last month
- Learn Lean and topology☆26Apr 28, 2023Updated 3 years ago
- Extract code into standalone executable scripts from a Quarto Document (sort of like `knitr::purl()` but for all outputs)☆31Jan 24, 2026Updated 4 months ago
- Example use of ts2ocaml☆18Updated this week
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 4 years ago