matheusgirola / Halmos-Naive-Set-Theory-OCR-LaTeX-ReeditionView external linksLinks
Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
☆71Jan 4, 2026Updated last month
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
Sorting:
- ☆34Jul 14, 2023Updated 2 years ago
- ☆34Dec 25, 2025Updated last month
- A Rust library and CLI for computing optimal and heuristic tree decompositions☆12Feb 19, 2025Updated 11 months ago
- [WIP] Private exitnode to open Onion Services via Tailscale IPN☆13May 27, 2023Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆16Jan 15, 2026Updated 3 weeks ago
- Spawn multiple concurrent unix terminals in Discord☆11Jun 1, 2021Updated 4 years ago
- Command-line spaced repetition scheduler.☆10Mar 8, 2015Updated 10 years ago
- A web based command line interface in a Docker container, based on ttyd.☆11Mar 15, 2021Updated 4 years ago
- ☆10Jul 17, 2023Updated 2 years ago
- Reproducible benchmarks to evaluate Sentry SDKs☆14Aug 25, 2022Updated 3 years ago
- Mudlet Script for Procedural Realms MUD☆11Jan 5, 2024Updated 2 years ago
- An implementation of macroexpand-time conditionalization.☆13Nov 20, 2023Updated 2 years ago
- Putting eBird on the decentralized web☆10Jan 7, 2023Updated 3 years ago
- Lapwing is program to help birders analyze their personal eBird sightings. It has a graphical user interface that lets users create filte…☆12May 29, 2020Updated 5 years ago
- ☆10Mar 28, 2021Updated 4 years ago
- ☆11May 14, 2023Updated 2 years ago
- 📄 Generate resumes using React, puppeteer, and styled-components.☆11Apr 30, 2018Updated 7 years ago
- A Rust crate to write toy distributed systems with Maelstrom as Actors.☆11Jan 23, 2022Updated 4 years ago
- Wrappers to tmux commands, usefull for tmux based automation☆13Mar 11, 2022Updated 3 years ago
- Playing around with a Fantasy Land type for React component☆10Aug 5, 2017Updated 8 years ago
- Functions to scrape web pages from ebird.org☆10Jul 15, 2025Updated 6 months ago
- Read and modify constituency trees in Rust.☆10May 5, 2020Updated 5 years ago
- A simple HTTP server in Reason using cohttp and built with Rebel.☆10Oct 21, 2016Updated 9 years ago
- Format and Complete Few-Shot LLM Prompts☆19Jan 14, 2025Updated last year
- Tools for managing the TeX sources of the Stacks project☆16Jun 8, 2024Updated last year
- ☆13Jun 10, 2024Updated last year
- This is the TeX for Hicks ``notes on differential geometry'', TeX'd by the TeXromancers.☆12Oct 15, 2022Updated 3 years ago
- The ultimate guide to using NixOS, for new users☆11Nov 16, 2019Updated 6 years ago
- A function to convert PDF to text on AWS Lambda☆13Jul 19, 2020Updated 5 years ago
- https://1000-plus.github.io/☆22Nov 10, 2025Updated 3 months ago
- ☆11Jan 25, 2016Updated 10 years ago
- Define quality variables for evaluating the risk associated with R packages.☆30Feb 5, 2026Updated last week
- This is a prototype which brings vagga as the first-class tool to OS X and (possibly) windows through docker's layer of compatibility☆10Aug 6, 2018Updated 7 years ago
- A project demonstrating how to use subgradient descent (SGD) to learn the maximum-margin hyper-plane of support vector machine (SVM).☆10Apr 2, 2018Updated 7 years ago
- 🦅 🎲 Roc library for number generation (and more!)☆10Feb 13, 2025Updated last year
- Vector clock implementation for distributed systems, in Rust☆10Jul 22, 2015Updated 10 years ago
- Utility function for exhaustiveness checking with typed JS (TS or Flow)☆14Mar 16, 2020Updated 5 years ago
- TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures☆10Mar 29, 2019Updated 6 years ago