mmai / Category-Theory-for-the-SciencesView external linksLinks
ebook versions of the book "Category Theory for the Sciences" by David I. Spivak
☆112Jul 21, 2015Updated 10 years ago
Alternatives and similar repositories for Category-Theory-for-the-Sciences
Users that are interested in Category-Theory-for-the-Sciences are comparing it to the libraries listed below
Sorting:
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf☆13Oct 11, 2018Updated 7 years ago
- Haskell program configuration using higher kinded data☆29May 21, 2024Updated last year
- Chrome extension that exposes a REPL into Chrome's Extension APIs☆16Dec 4, 2014Updated 11 years ago
- Type-safe tic-tac-toe using Typesafe programming in Haskell☆15Sep 1, 2017Updated 8 years ago
- Game theory in Clojure☆18Jan 30, 2013Updated 13 years ago
- Reexporting TensorFlow Haskell with dependent typed functions☆46Aug 8, 2019Updated 6 years ago
- Resources for making sense of topology and its concepts☆18Nov 16, 2020Updated 5 years ago
- An Example LFE/Clojure Multi-node System using OTP and Supervision Trees☆28Mar 5, 2017Updated 8 years ago
- Brent's PhD thesis.☆69Apr 8, 2016Updated 9 years ago
- A whirlwind tour of some Haskell design decisions☆22Nov 11, 2025Updated 3 months ago
- Introduction to Haskell, CS 1501 Lecture slides☆49Jul 12, 2014Updated 11 years ago
- An emacs package that makes inserting images from the web much easier and quicker☆18Sep 15, 2016Updated 9 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 6 years ago
- Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meani…☆128Mar 2, 2022Updated 3 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆25Mar 7, 2016Updated 9 years ago
- everything is an image☆20Dec 23, 2022Updated 3 years ago
- Python library for CUE https://cuelang.org/☆21Apr 21, 2021Updated 4 years ago
- Text-based dashboard for Elixir CLIs☆20Oct 20, 2017Updated 8 years ago
- This repository is supposed to hold a released version of Xanadu☆24Jul 26, 2021Updated 4 years ago
- ☆20May 5, 2022Updated 3 years ago
- Inline PDF previewing for Org☆56Aug 29, 2023Updated 2 years ago
- An Haskell oriented introduction to Category Theory (with basket of cats!)☆63Oct 6, 2025Updated 4 months ago
- high-resolution performance benchmarking☆26Feb 2, 2026Updated 2 weeks ago
- Code for the "Logic, machines and sequent calculus" talk☆31Sep 7, 2022Updated 3 years ago
- Batteries-included structured logging library☆31Dec 15, 2025Updated 2 months ago
- emacs minor mode for editing ascii uml sequence diagrams☆26Jan 30, 2020Updated 6 years ago
- Sissy Life CYOA☆12Sep 4, 2015Updated 10 years ago
- A simple set of io-uring bindings in Haskell☆28Jul 21, 2020Updated 5 years ago
- Simplify usage of nix dependencies during haskell development☆32May 9, 2019Updated 6 years ago
- Haskell types and instances for decoding GitHub webhook payloads.☆39Sep 12, 2025Updated 5 months ago
- Useful resources for the Eta programming language☆64Sep 11, 2021Updated 4 years ago
- Abandoned☆169Oct 3, 2018Updated 7 years ago
- ☆33Dec 18, 2025Updated last month
- A List of Foundational Haskell Papers☆886Nov 8, 2024Updated last year
- Get up and running with modifications to Gorilla Tag to enhance your experience. Reject humanity, return to monke.☆11Feb 24, 2025Updated 11 months ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Mar 11, 2024Updated last year
- array, slices and text☆70Jun 28, 2024Updated last year
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years ago