trello-archive / category-theoryView external linksLinks
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:
- Did someone say types?☆13Sep 5, 2016Updated 9 years ago
- Owl's Parallel & Distributed Computing Engine☆29Jan 9, 2019Updated 7 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
- Nodejs实现的并行下载器☆12Aug 19, 2020Updated 5 years ago
- Pragma is a self-hosted, open-source, personal note taking app.☆42Feb 3, 2020Updated 6 years ago
- Contract library for javascript based on category theory.☆40Jun 16, 2017Updated 8 years ago
- Repository for manage the development of Aura Helper VSCode Extension☆10Jul 29, 2024Updated last year
- Alter Keyboard Layouts☆12Jan 4, 2021Updated 5 years ago
- An implementation of Racket's Scribble in Clojure☆22Sep 20, 2013Updated 12 years ago
- CVS import of qemacs for some experiments☆11Oct 2, 2022Updated 3 years ago
- Flow implementations for Mirage☆12Feb 5, 2025Updated last year
- Run npm scripts from the MacBook Pro Touch Bar☆48Aug 6, 2021Updated 4 years ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- Brain Interpreter and Visualizer Online.☆10Sep 1, 2016Updated 9 years ago
- A lightweight reactive state management library for Salesforce Lightning Web Components.☆18Feb 8, 2026Updated last week
- A collection of functional, mergeable datatypes for Irmin☆12Dec 25, 2016Updated 9 years ago
- Sun::Kstat perl module for linux-zfs☆20Aug 16, 2013Updated 12 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 Markdown Parser written in Swift, based on code from TSMarkdownParser☆12Apr 21, 2017Updated 8 years ago
- Sphincs+ implementation which uses minimal RAM☆13Aug 31, 2023Updated 2 years ago
- Lib PHP para integração com a API TotalVoice☆10Jul 27, 2018Updated 7 years ago
- ⚡️🐕 Vite plugin for Pug, transforms pug templates into HTML☆10Jan 21, 2026Updated 3 weeks ago
- Toy Lisp to Python compiler☆10Jan 26, 2014Updated 12 years ago
- Browse and edit files from OneDrive in VS Code and on vscode.dev☆16Jun 4, 2024Updated last year
- Build script of BusyBox for WebAssembly (wasm) using Emscripten☆10Dec 21, 2020Updated 5 years ago
- PowerShell provider for Dropbox☆13Mar 8, 2018Updated 7 years ago
- "Be(Come) A Mentor! Help Others Succeed!" by @OssAnna16☆10Mar 20, 2020Updated 5 years ago
- Source code repository for Digital History Hacks☆23Jun 16, 2013Updated 12 years ago
- A simple tool to generate random strings.☆10Aug 18, 2017Updated 8 years ago
- Build control images for Aboriginal Linux, http://landley.net/aboriginal/control-images☆13Jun 7, 2021Updated 4 years ago
- Colourful cellular automaton implemented with WebAssembly.☆14Jan 28, 2023Updated 3 years ago
- Script to manage computer usage by time and schedule.☆18Jul 28, 2017Updated 8 years ago
- Errbot for Rocket.Chat - fork of unmaintained https://github.com/AoiKuiyuyou/AoikRocketChatErrbot☆12Feb 21, 2022Updated 3 years ago
- Semantic Scaffolds for Pseudocode-to-Code Generation (accepted by ACL 2020)☆14Jun 7, 2021Updated 4 years ago
- OOP ncurses library for PHP☆10Jan 16, 2016Updated 10 years ago
- Customise cursor blinking in Obsidian☆12Mar 10, 2023Updated 2 years ago
- Triplestore wrapper for HTML5 WebStorage☆22Dec 23, 2015Updated 10 years ago