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:
- Knowledge management system based on graph data structure☆13Jul 2, 2024Updated 2 years ago
- Artificial Neural Network implementation in Common Lisp☆10Mar 3, 2019Updated 7 years ago
- Telegram Bot that imitates @lerax (@ryukinix) behavior, 'cause he is a legend.☆11Jul 23, 2020Updated 6 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- A declarative toy language inspired on set comprehensions.☆18Feb 26, 2019Updated 7 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.
- A golang package for parsing Arch Linux PKGBUILDs☆23Oct 12, 2021Updated 4 years ago
- Racket bindings for Poppler (library for reading and generating pdfs)☆24Aug 16, 2026Updated last month
- Regular expressions of types☆16Sep 13, 2018Updated 8 years ago
- Backpack examples repository☆14Aug 18, 2017Updated 9 years ago
- The implementation of tic-tac-toe using an operadic comonad☆11Mar 7, 2021Updated 5 years ago
- Organize your projects as fast as you build them☆25Apr 16, 2016Updated 10 years ago
- a storage less password manager☆15Jun 3, 2020Updated 6 years ago
- A functional programming language. Like LISP but focused around maps rather than lists.☆12Jun 12, 2019Updated 7 years ago
- A database-agnostic Object-Document Mapper for Python.☆13Oct 3, 2019Updated 6 years 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.
- Library and program for unix malware analysis☆17Feb 21, 2018Updated 8 years ago
- ☆16Sep 9, 2024Updated 2 years ago
- Python module to align a simple (not nested) list in columns. Adapted from the routine of the same name inside cmd.py☆16Jul 17, 2026Updated 2 months ago
- ☆12Aug 10, 2018Updated 8 years ago
- Testing framework for C++ template metaprograms☆11May 12, 2015Updated 11 years ago
- ☆15Oct 23, 2013Updated 12 years ago
- FPGA-based HyperLogLog Accelerator☆12Jul 13, 2020Updated 6 years ago
- A small video game console for Arduino using the Brainduino interpreter☆28Apr 4, 2018Updated 8 years ago
- A media server written in Haskell and Cycle.js☆11Jun 9, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Idris tactics for (commutative) monoids☆20May 24, 2020Updated 6 years ago
- ☆10Jun 7, 2025Updated last year
- Language definition and parser for AVRO (.avdl) files.☆16Jan 21, 2022Updated 4 years ago
- App for appending clipboard text into file using a global hotkey.☆10Dec 16, 2016Updated 9 years ago
- Read XLSX files with Common Lisp☆30Updated this week
- Code Examples for conference talks and other publications☆12Apr 25, 2016Updated 10 years ago
- ☆11Jun 5, 2023Updated 3 years ago
- Simulator of digirule 2A (https://bradsprojects.com/digirule2/) written in Python (by roro & wawa)☆12Jul 15, 2020Updated 6 years ago
- Performance shootout of various trie implementations☆18May 30, 2019Updated 7 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.
- Very Simple Python Generator from UML - GenMyModel customgen☆14Aug 28, 2018Updated 8 years ago
- A simple unit testing framework for Scheme that is slightly more featureful then my previous attempts to handroll a testing framework.☆10Feb 14, 2023Updated 3 years ago
- storage combinators☆18Apr 12, 2020Updated 6 years ago
- Ideas for the next generation of Haskell's Arrow notation☆12Dec 23, 2019Updated 6 years ago
- Using Arrows to model parallel processes/computations.☆18Aug 1, 2020Updated 6 years ago
- Haskell's Core in K.☆20Jun 21, 2017Updated 9 years ago
- A lambda calculus interpreter in python.☆14Jul 1, 2023Updated 3 years ago