A sphinx project for Bartosz Milewski's book "Categories for Programmers"
☆14Nov 16, 2017Updated 8 years ago
Alternatives and similar repositories for categories-for-programmers
Users that are interested in categories-for-programmers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My little polygon for common lisp adventures (games and experiments)☆18Jul 12, 2017Updated 8 years ago
- Dotfiles for my personal computer!☆16May 17, 2021Updated 5 years ago
- Telegram Bot that imitates @lerax (@ryukinix) behavior, 'cause he is a legend.☆11Jul 23, 2020Updated 5 years ago
- Solving Louv1.1x Paradigms of Computer Programming - Fundamentals Course☆18Mar 24, 2017Updated 9 years ago
- React examples in Parenscript☆15Aug 30, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- If you stare into the dotfiles, the dotfiles stares back at you☆14Nov 9, 2018Updated 7 years ago
- An SBT Plugin that acts as a light wrapper around Buf.☆10Oct 29, 2024Updated last year
- A service that can be used with Boost.Asio to asynchronously monitor file events.☆15Nov 1, 2012Updated 13 years ago
- A declarative toy language inspired on set comprehensions.☆18Feb 26, 2019Updated 7 years ago
- superfast navigation and remote control for Emacs source code buffers (based on Emacs occur-mode)☆17Apr 2, 2017Updated 9 years ago
- A golang package for parsing Arch Linux PKGBUILDs☆23Oct 12, 2021Updated 4 years ago
- Deoplete plugin for elm-oracle.☆23Apr 10, 2018Updated 8 years ago
- Racket bindings for Poppler (library for reading and generating pdfs)☆24May 8, 2024Updated 2 years ago
- Graph and alert on '.rrd' data using grafana, RRDTool and RRDSrv.☆17Sep 27, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An api server that exports a subset of rrdtool commands over http.☆15Jun 9, 2022Updated 4 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- A functional programming language. Like LISP but focused around maps rather than lists.☆12Jun 12, 2019Updated 7 years ago
- These are the slides and script I used to present my talk at the 8th European Lisp Symposium at Goldsmiths in London in April, 2015.☆18Apr 20, 2015Updated 11 years ago
- Organize your projects as fast as you build them☆25Apr 16, 2016Updated 10 years ago
- Single-file snake☆22Aug 14, 2022Updated 3 years ago
- ☆12Aug 10, 2018Updated 7 years ago
- ☆15Oct 23, 2013Updated 12 years ago
- 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.
- ☆68Mar 16, 2026Updated 3 months ago
- Idris tactics for (commutative) monoids☆20May 24, 2020Updated 6 years ago
- FPGA-based HyperLogLog Accelerator☆12Jul 13, 2020Updated 5 years ago
- Library for Dissect and Infect ELF Binaries.☆40Apr 27, 2025Updated last year
- ☆14Sep 9, 2024Updated last year
- Tagged types C++ library☆11Apr 2, 2018Updated 8 years ago
- Connect your private notes to Anki☆14Nov 8, 2019Updated 6 years ago
- A media server written in Haskell and Cycle.js☆11Jun 9, 2018Updated 8 years ago
- Library of simd functions☆19Jun 13, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- functional data structures and utilities for python☆36Feb 16, 2019Updated 7 years ago
- Convert PGN with opening repertoire to Anki deck☆13Sep 5, 2022Updated 3 years ago
- sbt plugin to run shell commands from within the sbt shell☆15Jan 24, 2015Updated 11 years ago
- A little, opinionated Scala domain object validation toolkit☆16Dec 25, 2017Updated 8 years ago
- ☆10Jun 7, 2025Updated last year
- Language definition and parser for AVRO (.avdl) files.☆16Jan 21, 2022Updated 4 years ago