sometimes math is just too much fun
☆22Jun 25, 2015Updated 10 years ago
Alternatives and similar repositories for category-theory
Users that are interested in category-theory are comparing it to the libraries listed below
Sorting:
- Owl's Parallel & Distributed Computing Engine☆29Jan 9, 2019Updated 7 years ago
- Jane Street Capital's standard library overlay☆37Jan 15, 2026Updated last month
- A pure Kotlin logging library for Android with zero overhead.☆23Jun 22, 2021Updated 4 years ago
- A fully complete and functional exception handling library written in ANSI/ISO C.☆31Sep 24, 2011Updated 14 years ago
- Wrap promises, never use .catch again☆25Jan 11, 2023Updated 3 years ago
- A demo deployment of ReasonML and Apollo GraphQL using Docker☆41Jan 23, 2018Updated 8 years ago
- GTA V fivem rp server for rd2l☆10Oct 25, 2019Updated 6 years ago
- Nodejs实现的并行下载器☆12Aug 19, 2020Updated 5 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Helper library to read out the current balance of canteen cards using NFC.☆12Oct 14, 2024Updated last year
- Repository for manage the development of Aura Helper VSCode Extension☆10Jul 29, 2024Updated last year
- Alter Keyboard Layouts☆12Jan 4, 2021Updated 5 years ago
- Base docker images for puppeteer-sharp☆10Mar 29, 2020Updated 5 years ago
- Text Analysis with Python☆12Updated this week
- Colourful cellular automaton implemented with WebAssembly.☆14Jan 28, 2023Updated 3 years ago
- Brain Interpreter for arduino☆12Jul 16, 2018Updated 7 years ago
- A lightweight reactive state management library for Salesforce Lightning Web Components.☆18Feb 8, 2026Updated last month
- Web Interface to explore Globomap API☆11Mar 1, 2023Updated 3 years ago
- Watch an Urbit nock expression get processed step by step in a browser☆11May 6, 2022Updated 3 years ago
- OkHttp calls as RxJava types☆19Jun 27, 2022Updated 3 years ago
- How to embed emoji in any website☆12Nov 11, 2014Updated 11 years ago
- An extension for VS Code that improves editor support for relative file paths in typescript/javascript sources, including auto-completion…☆14Updated this week
- A download manager for android with muti-task downloads, resuming downloads, traffic counter and the basic task controls such as pause, c…☆12May 23, 2012Updated 13 years ago
- Experiments with moebius transformations and non-euclidian perspectives.☆12Apr 16, 2023Updated 2 years ago
- A simple demo ReSwift reddit client☆11Mar 6, 2017Updated 9 years ago
- Functional combinators for PHP.☆11Jun 3, 2017Updated 8 years ago
- A .NET cross-platform CLI app that uses TorSharp to run a local proxy☆12Feb 27, 2026Updated last week
- ☆12Nov 14, 2017Updated 8 years ago
- SRV simplifies usage of the RecyclerView with multiple ViewHolders using Kotlin☆12Nov 14, 2018Updated 7 years ago
- An implementation of Racket's Scribble in Clojure☆22Sep 20, 2013Updated 12 years ago
- Urho3D extra minimal examples and demos. Tested in Ubuntu 18.04.☆11Feb 25, 2022Updated 4 years ago
- Simulator for cellular automata defined on regular lattices on Minkovski plane☆11Aug 10, 2021Updated 4 years ago
- My various command line scripts that I'm using on my Debian desktops and servers☆12Dec 15, 2025Updated 2 months ago
- Flow implementations for Mirage☆12Feb 5, 2025Updated last year
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- Toy Lisp to Python compiler☆10Jan 26, 2014Updated 12 years ago
- ☆11Jul 18, 2022Updated 3 years ago
- Build script of BusyBox for WebAssembly (wasm) using Emscripten☆10Dec 21, 2020Updated 5 years ago
- OOP ncurses library for PHP☆10Jan 16, 2016Updated 10 years ago