E-book version of Bartosz Milewski's blog post series
☆62Sep 20, 2017Updated 8 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:
- React Native + Relay Modern + Graphcool☆12Feb 12, 2018Updated 8 years ago
- A shebang for running scripts inside nix-shell with defined dependencies☆27Mar 23, 2020Updated 6 years ago
- Sim! Para INICIANTES☆10Oct 29, 2025Updated 8 months ago
- Github Bot to find breaking changes in your schema.graphql☆54Aug 15, 2017Updated 8 years ago
- Component-scope state management for Relay modern & React.☆15Nov 4, 2017Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Bot para o clássico campo minado do Windows XP☆14Aug 17, 2019Updated 6 years ago
- Reason API to fetch the daily reports from BACEN PTAX exchanges☆16Dec 17, 2018Updated 7 years ago
- inpirated in https://github.com/yakovlevyuri/graphql-subscriptions-server and https://github.com/entria/graphql-dataloader-boilerplate☆11May 27, 2018Updated 8 years ago
- An Yarn package with babel, jest, flow, prettier and more☆10Nov 2, 2018Updated 7 years ago
- a lightweight CSS DSL for haskell☆23May 29, 2020Updated 6 years ago
- Relay with zero-configuration. SSR, caching, testing and more.☆96Nov 2, 2018Updated 7 years ago
- FreeSWITCH Event Socket Protocol client implementation with Elixir☆12Apr 7, 2026Updated 2 months ago
- Quickstart da API do DICT feito em Reason nativo☆13Mar 21, 2020Updated 6 years ago
- A short scripts and programs☆11Jan 5, 2023Updated 3 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.
- My React Native pet project☆23May 17, 2019Updated 7 years ago
- Utilities for working with Relay (modern) in general, and the Relay store in particular.☆35May 5, 2019Updated 7 years ago
- Styled Components helpers for React Native☆21Apr 29, 2021Updated 5 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆12Mar 26, 2022Updated 4 years ago
- Turns your data into a table with Relay Modern RefetchContainer☆12Sep 19, 2017Updated 8 years ago
- Notifications hub☆12Feb 16, 2020Updated 6 years ago
- A PHP micro-project for APIs.☆11Sep 7, 2024Updated last year
- Render Props CPS-like composition for ReasonReact☆29Mar 6, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A secure compare for Elixir.☆19Jan 23, 2019Updated 7 years ago
- Application scaffold and batteries-included service implementations for Haskell☆25May 1, 2019Updated 7 years ago
- Haskell bindings to the libui C library.☆48Jan 5, 2018Updated 8 years ago
- Lista com os próximos eventos/meetups/reuniões de Tecnologia☆19May 21, 2018Updated 8 years ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- A tab system for React apps☆16Dec 10, 2022Updated 3 years ago
- Applied category theory applied to epidemiological models☆12Aug 7, 2024Updated last year
- Relay utility methods☆17Mar 21, 2022Updated 4 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆34Apr 21, 2019Updated 7 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.
- A central repository for Flow-Typed WIP library definitions☆17Sep 19, 2017Updated 8 years ago
- A Nix flake ❄️ for configuring my boxen using NixOS, Home Manager, Disko, Stylix, and more. Now in dendritic-ish style!☆10Updated this week
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- Haskell Dockerfile linter, parser, pretty-printer and EDSL, forked from https://github.com/lukasmartinelli/hadolint.☆19Nov 18, 2017Updated 8 years ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- Material for the Nix Workshop at Haskell eXchange 2017☆20Aug 8, 2019Updated 6 years ago