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
- FoGFaaS: Add serverless computing (faas) to ifogsim☆22Mar 30, 2025Updated 10 months ago
- Book and code for Think Complexity, 2nd edition☆782Sep 22, 2024Updated last year
- Notebooks and data for a case study on political alignment, outlook, and beliefs☆27Jan 3, 2025Updated last year
- All our CS251 assignments☆12Nov 10, 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
- Browser extension to show items from HN's /newest page on the front page.☆11Nov 14, 2016Updated 9 years ago
- A little demo of NLog logging to ELK using structured (JSON) log messages☆16Feb 4, 2018Updated 8 years ago
- Algorithm Mnemonics: Increase Productivity with STL Algorithms for GNU Emacs☆11Oct 15, 2016Updated 9 years ago
- LaTeX source and supporting code for Think Python, 2nd edition, by Allen Downey.☆2,632Apr 9, 2024Updated last year
- SIGCOMM 2021 artifact☆12Jul 27, 2024Updated last year
- Exercises for people learning the C programming language☆114Oct 12, 2020Updated 5 years ago
- Case study on evaluating statistical tools that predict recidivism.☆15Aug 1, 2024Updated last year
- Different browsing interfaces built on Electron.☆12Feb 4, 2021Updated 5 years ago
- An illustration of good taste in code☆13Aug 2, 2024Updated last year
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 5 years ago
- A collection of useful TLA+ operators☆21Feb 15, 2018Updated 8 years ago
- ☆14Sep 4, 2017Updated 8 years ago
- ☆22Jan 14, 2018Updated 8 years ago
- RPerf: Accurate Latency Measurement Framework for RDMA☆15Sep 24, 2025Updated 4 months ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Jul 24, 2024Updated last year
- My Linux QoS scripts☆12Feb 5, 2013Updated 13 years 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
- yet another lexical preprocessor☆40Jan 17, 2021Updated 5 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- A free and open source resource for the courses at McGill University.☆47Feb 22, 2024Updated last year
- 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
- Resources and Materials for MATLAB Probability class☆10Oct 23, 2015Updated 10 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20May 4, 2022Updated 3 years ago
- Graphical simulation of the ENIAC, first universal digital electronic computer built 1942-1946☆21Aug 24, 2022Updated 3 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Dec 6, 2025Updated 2 months ago
- Marimo notebooks, miscellaneous Python essays (including the Py3 Q&A), random snippets of code and proto-modules.☆21Dec 21, 2025Updated last month
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Mar 13, 2024Updated last year
- The book Distributed systems: for fun and profit☆2,636Nov 20, 2022Updated 3 years ago
- All solutions that we have for competitive Programming websites.☆21Feb 20, 2017Updated 8 years ago
- SKOS Support for Apache Lucene and Solr☆56May 12, 2021Updated 4 years ago