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:
- ramda logic☆44Sep 26, 2024Updated 2 years ago
- Sim! Para INICIANTES☆10Oct 29, 2025Updated 11 months ago
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆20Sep 24, 2019Updated 7 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
- 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.
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Church Encoding Implementation in JavaScript☆36Nov 20, 2024Updated last year
- Simple and powerful chrome extension to record screens☆19Mar 30, 2018Updated 8 years ago
- My vimfiles☆18Oct 2, 2026Updated last week
- An answer key to Emily Riehl's Category Theory in Context produced by Dr. Pardue's math 490 class at UMBC☆23Aug 16, 2022Updated 4 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 9 years ago
- Applied category theory applied to epidemiological models☆12Aug 7, 2024Updated 2 years ago
- An exercise to build a tic-tac-toe finite state machine in typescript and xstate☆17Dec 10, 2019Updated 6 years ago
- TeX files for summary of category theory☆15Apr 9, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Category Theory in Agda☆13Jan 16, 2018Updated 8 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 9 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆21Feb 7, 2020Updated 6 years ago
- DUCT is a Scala 3 category theory and functional programming library☆15Dec 31, 2025Updated 9 months ago
- node security project npm utilities☆11Sep 15, 2017Updated 9 years 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
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 7 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.
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Sep 28, 2026Updated 2 weeks ago
- Angular v5+ CRUD using servless MongoDB - Azure CosmosDB☆10Nov 18, 2017Updated 8 years ago
- Todos os documentos e "papéis" ficarão armazenados aqui.☆10Jun 16, 2017Updated 9 years ago
- Rough REST client/server prototypes for SESE's Order Manager.☆12May 29, 2017Updated 9 years ago
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Jan 18, 2018Updated 8 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
- Exámenes de programaci ón funcional con Haskell☆10Jun 18, 2023Updated 3 years ago
- Category theory concepts in type classes and instances.☆23Sep 18, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆14Jan 5, 2023Updated 3 years ago
- Directed type theory for formal category theory☆19Apr 7, 2017Updated 9 years ago
- Functional combinators for PHP.☆11Jun 3, 2017Updated 9 years ago
- node.js express api☆13Feb 11, 2019Updated 7 years ago
- Elixir Mini Conf - 15 de Outubro de 2016 - São Paulo☆10Mar 16, 2016Updated 10 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda☆21Aug 25, 2026Updated last month