LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
☆322May 26, 2024Updated last year
Alternatives and similar repositories for LittleBookOfSemaphores
Users that are interested in LittleBookOfSemaphores are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Text and supporting code for Think OS: A Brief Introduction to Operating Systems, by Allen Downey.☆570Apr 28, 2020Updated 6 years ago
- Text and code for Think C++ by Allen Downey☆147Oct 23, 2023Updated 2 years ago
- Book and code for Think Complexity, 2nd edition☆786Sep 22, 2024Updated last year
- STM32F4 code to use the SDIO peripheral, uses libopencm3 for the basic stuff, adds SDIO supported stuff.☆15May 3, 2020Updated 5 years ago
- [DEPRECATED] this project has moved☆10Oct 2, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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☆11Mar 2, 2026Updated last month
- A collection of my talks☆12Jan 19, 2026Updated 3 months ago
- Scrape Data Science tutorials from Topcoder and save as PDF☆23Oct 23, 2015Updated 10 years ago
- LaTeX source and supporting code for Think Data Structures: Algorithms and Information Retrieval in Java☆561Apr 2, 2023Updated 3 years ago
- Text and supporting code for Modeling and Simulation in Python☆928Feb 1, 2026Updated 2 months ago
- An automated grid/ping-pong market-making bot for various exchanges.☆10Nov 2, 2018Updated 7 years ago
- # A simple variable binding library based on well-scoped indices and environments☆32Apr 20, 2026Updated last week
- Example code for tracing IRQs in Linux kernel☆12Oct 21, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- [fsnotify] A cross-platform File Watcher that runs specific tasks when specific files are added, changed or deleted☆23Oct 4, 2017Updated 8 years ago
- To experiment with ligh-weight user threads based on stack copying.☆14Oct 25, 2022Updated 3 years ago
- Code repository for Think Bayes.☆1,689Mar 12, 2021Updated 5 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Mar 13, 2024Updated 2 years ago
- LaTeX source for Think Java, 1st edition, by Allen Downey and Chris Mayfield.☆59Jun 20, 2019Updated 6 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Jul 11, 2023Updated 2 years ago
- GPT2 Inference Implementation in Pure C☆31Jun 23, 2025Updated 10 months ago
- Case study on evaluating statistical tools that predict recidivism.☆15Aug 1, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- ☆15Dec 2, 2022Updated 3 years ago
- Text and code for the second edition of Think Bayes, by Allen Downey.☆2,026Jan 12, 2026Updated 3 months ago
- st filesystem for embedded flash systems☆12Mar 12, 2017Updated 9 years ago
- ☆11May 14, 2023Updated 2 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Apr 13, 2026Updated 2 weeks ago
- A diff tool that highlights changes at the token (rather than line) level☆13Dec 19, 2022Updated 3 years ago
- Think DSP: Digital Signal Processing in Python, by Allen B. Downey.☆4,524Feb 13, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 虚拟币 跨市场 做市套利策略实现 基于VNPY☆13Mar 27, 2026Updated last month
- A monadic library for symbolic evaluation☆74Jul 16, 2025Updated 9 months ago
- Sound and efficient gradual typing via contract verification.☆20Aug 3, 2023Updated 2 years ago
- Railway oriented programming talk and code for TechTrain2021☆11Mar 26, 2021Updated 5 years ago
- ☆93Feb 5, 2022Updated 4 years ago
- The kitchen sink of scripts to aid sw developers☆13Mar 31, 2026Updated 3 weeks ago
- A book about compiling Racket and Python to x86-64 assembly☆1,570Oct 30, 2025Updated 5 months ago