AllenDowney / LittleBookOfSemaphoresView external linksLinks
LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
☆315May 26, 2024Updated last year
Alternatives and similar repositories for LittleBookOfSemaphores
Users that are interested in LittleBookOfSemaphores are comparing it to the libraries listed below
Sorting:
- Text and supporting code for Think OS: A Brief Introduction to Operating Systems, by Allen Downey.☆567Apr 28, 2020Updated 5 years ago
- Text and code for Think C++ by Allen Downey☆147Oct 23, 2023Updated 2 years ago
- Scrape Data Science tutorials from Topcoder and save as PDF☆23Oct 23, 2015Updated 10 years ago
- Data Structures and Information Retrieval in Python☆135Aug 1, 2024Updated last year
- Notebooks and data for a case study on political alignment, outlook, and beliefs☆27Jan 3, 2025Updated last year
- Minimalist compiler course, based on Essential of Compilation☆11Dec 15, 2025Updated 2 months ago
- Browser extension to show items from HN's /newest page on the front page.☆11Nov 14, 2016Updated 9 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- A little demo of NLog logging to ELK using structured (JSON) log messages☆16Feb 4, 2018Updated 8 years ago
- TensorFlow Lite C precompiled library for Windows, Linux and macOS☆11Dec 30, 2024Updated last year
- LaTeX source and supporting code for Think Python, 2nd edition, by Allen Downey.☆2,632Apr 9, 2024Updated last year
- A Monkey language interpreter, written in Python.☆10Oct 17, 2025Updated 3 months ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Jul 11, 2023Updated 2 years ago
- Search emails in Notmuch asynchronously with Ivy☆14Jan 30, 2020Updated 6 years ago
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 5 years ago
- An illustration of good taste in code☆13Aug 2, 2024Updated last year
- Run same command in multiple emacs eshell terminals☆14Jan 8, 2021Updated 5 years ago
- DASL — Data-Addressed Structures & Links☆17Feb 4, 2026Updated last week
- Public repository for Abstact Algebra Theory and Applications☆177Jan 18, 2026Updated 3 weeks ago
- ☆22Jan 14, 2018Updated 8 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- TChannel health check utility☆17Aug 23, 2019Updated 6 years ago
- Template repository for deploying a Parcel-built Elm app to Netlify☆14Nov 14, 2020Updated 5 years ago
- PEP 563: Postponed Evaluation of Annotations☆16Dec 5, 2017Updated 8 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Jul 24, 2024Updated last year
- RPerf: Accurate Latency Measurement Framework for RDMA☆15Sep 24, 2025Updated 4 months ago
- Code repository for Think Bayes.☆1,684Mar 12, 2021Updated 4 years ago
- Text and code for the second edition of Think Bayes, by Allen Downey.☆2,005Jan 12, 2026Updated last month
- https://gennadiy1970.github.io/repo_review/☆12Aug 27, 2021Updated 4 years ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Mar 22, 2021Updated 4 years ago
- yet another lexical preprocessor☆40Jan 17, 2021Updated 5 years ago
- Files for the pi.processing.org subdomain that documents Processing on the Raspberry Pi☆17Apr 5, 2019Updated 6 years ago
- Another Template Meta Programming Library☆16Mar 15, 2017Updated 8 years ago
- For lazy programmers!☆17Jul 19, 2016Updated 9 years ago
- Think DSP: Digital Signal Processing in Python, by Allen B. Downey.☆4,455Nov 3, 2025Updated 3 months ago
- An introduction to Bayesian statistics using Python and (coming soon) R.☆134Sep 15, 2023Updated 2 years ago
- ☆23Aug 30, 2017Updated 8 years ago
- A server, client and UI for remotely debugging Racket applications.☆29Jul 23, 2025Updated 6 months ago
- CMSC 430 Design and Implementation of Programming Languages☆51Dec 6, 2025Updated 2 months ago