Contract library for javascript based on category theory.
☆40Jun 16, 2017Updated 9 years ago
Alternatives and similar repositories for jscategory
Users that are interested in jscategory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆20Sep 24, 2019Updated 6 years ago
- ES¨para iniciantes <3☆15Sep 2, 2016Updated 10 years ago
- (unmaintained) A discrete FRP DSL for describing better build pipelines.☆22Aug 4, 2017Updated 9 years ago
- ☆29Nov 23, 2019Updated 6 years ago
- Category theory morphisms for clojurescript☆16Mar 13, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- DeepCleaner is a NodeJS module designed to tidy up nasty looking JSON.☆14Mar 2, 2023Updated 3 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 9 years ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 5 years ago
- Applied category theory applied to epidemiological models☆12Aug 7, 2024Updated 2 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- Coding experiments using ES.next features☆12Mar 31, 2012Updated 14 years ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 7 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 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.
- DUCT is a Scala 3 category theory and functional programming library☆15Dec 31, 2025Updated 8 months ago
- A JavaScript library built to encourage a functional programming style & strategy. - http://eliperelman.com/fn.js☆15Jan 13, 2016Updated 10 years ago
- A template for idris projects☆11Jun 27, 2021Updated 5 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Dec 19, 2020Updated 5 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated 2 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 7 years ago
- Extra Codecs for purify-ts☆15Jan 7, 2023Updated 3 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Aug 24, 2026Updated last week
- React Native Google Map☆14Oct 10, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Secret Crew Graphql API☆10May 28, 2017Updated 9 years ago
- Mostly adequate guide to FP (in javascript, translated to korean)☆23May 31, 2023Updated 3 years ago
- Javascript approach to functional programming☆137Mar 12, 2019Updated 7 years ago
- Category theory concepts in type classes and instances.☆23Jun 27, 2026Updated 2 months ago
- ☆14Jan 5, 2023Updated 3 years ago
- Directed type theory for formal category theory☆19Apr 7, 2017Updated 9 years ago
- Category theory formalized in cubical agda☆22Feb 16, 2020Updated 6 years ago
- 🚘 Consultar placa de veículos (SINESP) [node.js]☆11Dec 23, 2017Updated 8 years ago
- ☆11Sep 15, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple Lisp implementation written in TypeScript(earlier version)☆10Jul 11, 2017Updated 9 years ago
- Elixir Mini Conf - 15 de Outubro de 2016 - São Paulo☆10Mar 16, 2016Updated 10 years ago
- Repositorio dedicado á comunidade de Programadores Perl do Brasil, aqui você encontrará links para materias e muito mais.☆45Mar 23, 2020Updated 6 years ago
- Pluggable types for Common Lisp☆19Dec 9, 2023Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- My JS Compiler☆16Dec 2, 2017Updated 8 years ago
- Category Theory for Programmers の勉強記録☆18Jul 4, 2024Updated 2 years ago