E-book version of Bartosz Milewski's blog post series
☆62Sep 20, 2017Updated 9 years ago
Alternatives and similar repositories for category-theory-for-programmers
Users that are interested in category-theory-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:
- Sim! Para INICIANTES☆10Oct 29, 2025Updated last year
- React Native + Relay Modern + Graphcool☆12Feb 12, 2018Updated 8 years ago
- Bot para o clássico campo minado do Windows XP☆14Aug 17, 2019Updated 7 years ago
- A shebang for running scripts inside nix-shell with defined dependencies☆28Mar 23, 2020Updated 6 years ago
- a lightweight CSS DSL for haskell☆22May 29, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Github Bot to find breaking changes in your schema.graphql☆53Aug 15, 2017Updated 9 years ago
- A deadly simple tooltip view that you can put whatever you want☆17Aug 24, 2017Updated 9 years ago
- A short scripts and programs☆11Jan 5, 2023Updated 3 years ago
- It's an open source restaurant and coffee shop management system.☆10Jan 6, 2023Updated 3 years ago
- Material do Curso PDI (Jupyter)☆12Dec 30, 2022Updated 3 years ago
- Styled Components helpers for React Native☆21Apr 29, 2021Updated 5 years ago
- Haskell bindings to the libui C library.☆48Jan 5, 2018Updated 8 years ago
- Cheat sheet for Haskellers wanting to get up to speed with category theory☆12Mar 4, 2020Updated 6 years ago
- Application scaffold and batteries-included service implementations for Haskell☆25May 1, 2019Updated 7 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.
- Category Theory & Cobordism Categories in Lean 4☆16Jun 27, 2024Updated 2 years ago
- Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)☆32Aug 11, 2016Updated 10 years ago
- AstroApp, all backend React Native app boilerplate☆13Jun 22, 2017Updated 9 years ago
- Lista com os próximos eventos/meetups/reuniões de Tecnologia☆19May 21, 2018Updated 8 years ago
- A tab system for React apps☆16Dec 10, 2022Updated 3 years ago
- Declarative Understandable Reproducible Cases - Powered by Ansible☆10Oct 1, 2021Updated 5 years ago
- This is a Node.js module that can be used to calculate the size of a GraphQL response object before producing the object.☆17Feb 28, 2022Updated 4 years ago
- Utilities for working with Relay (modern) in general, and the Relay store in particular.☆35May 5, 2019Updated 7 years ago
- Component-scope state management for Relay modern & React.☆15Nov 4, 2017Updated 9 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.
- Haskell Dockerfile linter, parser, pretty-printer and EDSL, forked from https://github.com/lukasmartinelli/hadolint.☆19Nov 18, 2017Updated 8 years ago
- Você já pensou em dizer que ama seu cônjuge usando ascii e cores??☆11Jun 12, 2018Updated 8 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Implements Either, Maybe and Tuple monads.☆33Apr 30, 2017Updated 9 years ago
- ☆15Aug 13, 2021Updated 5 years ago
- Source for Basic Category Theory by Tom Leinster☆12May 15, 2017Updated 9 years ago
- Category Theory for Quantum Natural Language Processing☆11Feb 22, 2023Updated 3 years ago
- to a toa☆11May 26, 2020Updated 6 years ago
- Quickstart da API do DICT feito em Reason nativo☆13Mar 21, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- A central repository for Flow-Typed WIP library definitions☆17Sep 19, 2017Updated 9 years ago
- Light, Electron-based Wrapper around GraphiQL☆12Jun 26, 2020Updated 6 years ago
- My React Native pet project☆23May 17, 2019Updated 7 years ago
- ☆16Apr 14, 2018Updated 8 years ago
- Mirror of: A DNSmasq-like MirageOS unikernel☆31Sep 28, 2026Updated last month
- Applied category theory applied to epidemiological models☆12Aug 7, 2024Updated 2 years ago