My solutions to the problems in "The Linux Programming Interface"
☆18Sep 14, 2015Updated 11 years ago
Alternatives and similar repositories for tlpi-exercises
Users that are interested in tlpi-exercises are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Efficient union and equivalence testing of sets.☆31Jan 29, 2019Updated 7 years ago
- lean-related presentations☆18Oct 21, 2026Updated 2 weeks ago
- ☆15Oct 10, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Drop-in comments module for a Yesod application☆10Sep 30, 2025Updated last year
- Docker file to setup the Haskell Plattform 2013.2.0.0☆10Sep 6, 2013Updated 13 years ago
- Text framework for Idris☆13Apr 24, 2016Updated 10 years ago
- A full-stack web and TUI framework inspired by Yesod and Elm.☆13Oct 29, 2026Updated last week
- Clear to write, read and edit DSL for writing SVG, base on lucid☆12Aug 1, 2023Updated 3 years ago
- ☆12Oct 5, 2014Updated 12 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Demostration of FFI from Agda -> Haskell -> C in one project☆12Apr 15, 2013Updated 13 years ago
- ☆10May 3, 2017Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- New version of Effects library with dependent states☆13Jan 14, 2014Updated 12 years ago
- Homotopy type theory cheatsheets☆11Apr 15, 2026Updated 6 months ago
- GHC plugin for constant math elimination☆14Nov 2, 2012Updated 14 years ago
- Haskell: Monorepo for our open source packages☆17Oct 7, 2017Updated 9 years ago
- Source files used for the Cedille Cast videos☆12Dec 28, 2025Updated 10 months ago
- A C library for operational transformation.☆13Jul 18, 2015Updated 11 years ago
- Slides for an introductory talk about Haskell (in German)☆11May 16, 2020Updated 6 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 9 years ago
- A translation of Certified Programming with Dependent Types to Idris.☆13May 2, 2014Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Data structures and HXT parser for OpenStreetMap files☆13Jan 20, 2019Updated 7 years ago
- [UNMAINTAINED] HSL based color picker.☆11Oct 1, 2011Updated 15 years ago
- Blog for x64dbg.☆13Jul 18, 2026Updated 3 months ago
- [UNMAINTAINED] HMAC-SHA512 implementation optimized for embedded devices☆15May 28, 2019Updated 7 years ago
- Haskell through succinct, narrative, worked examples☆12Sep 24, 2011Updated 15 years ago
- Effects EDSL for Idris☆13Mar 28, 2013Updated 13 years ago
- Coq executable semantics and resource verifier☆14Dec 23, 2015Updated 10 years ago
- Monadic Haskell DSL for CSS.☆11Sep 27, 2011Updated 15 years ago
- Type safe anonymous remote procedures in Haskell☆15Sep 24, 2013Updated 13 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences☆15Aug 7, 2018Updated 8 years ago
- Worksheets and lecture notes for my math courses for school students (in German)☆10Oct 28, 2026Updated last week
- A real-time text editing library for JavaScript built around libot.☆16Nov 13, 2014Updated 11 years ago
- Your favorite machine learning papers: installable, deployable and reproducible (as all software should be)☆18Mar 6, 2023Updated 3 years ago
- Literate-style Documentation Generator☆17Jun 26, 2015Updated 11 years ago
- High-level bindings to the Messenger Platform API based on servant library.☆13Mar 1, 2017Updated 9 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆13Sep 4, 2015Updated 11 years ago