ncreep / category-theory-as-a-tool-for-thoughtView external linksLinks
Material for the "Category Theory as a Tool for Thought" talk
☆41Dec 1, 2022Updated 3 years ago
Alternatives and similar repositories for category-theory-as-a-tool-for-thought
Users that are interested in category-theory-as-a-tool-for-thought are comparing it to the libraries listed below
Sorting:
- Scalar 2024 - Generative Art in Scala, No AI Required☆11Mar 27, 2024Updated last year
- Extensions to the public F# API from Akka.NET project☆13Sep 23, 2018Updated 7 years ago
- Isomorphic Reasoning: Counting with Types☆38Jun 5, 2020Updated 5 years ago
- F# version of Doom using original rendering techniques (BSP etc.)☆22Nov 11, 2022Updated 3 years ago
- List of papers and other resources at the intersection of Category Theory and NLP.☆55Feb 22, 2023Updated 2 years ago
- Comparative benchmarks between asynchronous runtimes☆27Nov 7, 2022Updated 3 years ago
- Collections of papers and books about Haskell, Type Theory and Category Theory☆165Oct 19, 2021Updated 4 years ago
- A modern Haskell debugger☆31May 1, 2025Updated 9 months ago
- ☆30Oct 10, 2022Updated 3 years ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Experiment with F#, type holes, and type-directed search using F# Analyzers☆31Dec 24, 2019Updated 6 years ago
- Pass data between a google sheet and jupyter notebook☆11Mar 5, 2018Updated 7 years ago
- PureScript FFI Best Practices☆35Dec 28, 2019Updated 6 years ago
- ☆12Apr 10, 2018Updated 7 years ago
- Semantic search web application with graph visualization in Django☆12Aug 2, 2017Updated 8 years ago
- DCI implementation for PHP 5.4+☆39Aug 15, 2013Updated 12 years ago
- A small library for writing referentially transparent and stack-safe sequential programs☆40Oct 27, 2018Updated 7 years ago
- Empowering Scientific Research with AI Assistance! Open Source Code for Data-Driven Dimensional Analysis.☆14Aug 7, 2025Updated 6 months ago
- Automaton & Cognition☆16Apr 14, 2024Updated last year
- Railway oriented programming talk and code for TechTrain2021☆11Mar 26, 2021Updated 4 years ago
- Some solutions to the Dummit & Foote abstract algebra textbook☆13Oct 26, 2015Updated 10 years ago
- Advent of Code solutions using dbt, duckdb, dbt-duckdb☆13Feb 5, 2023Updated 3 years ago
- zio implementation for https://github.com/ulid/spec☆12Jan 16, 2024Updated 2 years ago
- Processing code to implement John Fairfield's Spellcaster☆10Jan 5, 2016Updated 10 years ago
- ☆11Nov 25, 2025Updated 2 months ago
- 📝 A template engine.☆16Jun 15, 2021Updated 4 years ago
- Servant based API and server for token based authorisation☆14Sep 21, 2019Updated 6 years ago
- Legacy version: Use math3d-react repo instead☆12Sep 25, 2019Updated 6 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Login & Registration enabled with Ajax☆13Oct 22, 2014Updated 11 years ago
- Split a TiddlyWiki into multiple text files, one file per tiddler.☆11Apr 18, 2019Updated 6 years ago
- ☆13Jun 4, 2018Updated 7 years ago
- Emacs mode for strace☆15Nov 21, 2017Updated 8 years ago
- Usage examples for Viz.js☆12Dec 8, 2018Updated 7 years ago
- A collection of tools for OSR-style TTRPG games☆11Mar 20, 2024Updated last year
- ☆20Mar 30, 2022Updated 3 years ago
- Basic implementation of variational autoencoders in Torch☆10Apr 16, 2016Updated 9 years ago
- A gyroscopic remote made with Meteor☆11Dec 7, 2017Updated 8 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago