Topic: category-theory Goto Github
Some thing interesting about category-theory
Some thing interesting about category-theory
category-theory,A book about category theory
User: abuseofnotation
Home Page: https://abuseofnotation.github.io/category-theory-illustrated/
category-theory,Thoughts on adjoint, norm and such.
User: adamnemecek
category-theory,A framework for applied category theory in the Julia language
Organization: algebraicjulia
Home Page: https://www.algebraicjulia.org
category-theory,A graphical editor for graph-like structures
Organization: algebraicjulia
Home Page: https://algebraicjulia.github.io/Semagrams.jl/
category-theory,This project is to contain a listing of common theorems in elementary category theory.
User: alhassy
category-theory,A formalization of category theory in the Coq proof assistant.
User: amintimany
category-theory,Large Scale Type Systems (programming language)
User: andrew-johnson-4
Home Page: https://andrew-johnson-4.github.io/lsts-tutorial/
category-theory,Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.
User: anton-latukha
Home Page: https://blog.latukha.com/haskell-notes
category-theory,List of papers studying machine learning through the lens of category theory
User: bgavran
category-theory,🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Organization: bow-swift
Home Page: https://bow-swift.io
category-theory,Categorical Query Language IDE
Organization: categoricaldata
Home Page: http://categoricaldata.net
category-theory,Interpret Haskell programs into any cartesian closed category.
Organization: con-kitty
category-theory,Categories parametrized by morphism equality, in Agda
User: copumpkin
category-theory,Category Theory For Programmers (Bartosz Milewski)
User: damienstanton
Home Page: https://docs.rs/ctrs
category-theory,An opinionated F# Library for error handling
User: demystifyfp
Home Page: https://demystifyfp.gitbook.io/fstoolkit-errorhandling
category-theory,The Python toolkit for computing with string diagrams.
User: discopy
Home Page: https://discopy.org
category-theory,Examples with Functional JavaScript, following Professor Frisby's course
User: dmitriz
category-theory,List of resources about foundational knowledge for programmers (supposed to last a few decades)
User: err0r500
category-theory,A DSL for the internal language of a topos
User: fdilke
category-theory,Parameterise all the things
Organization: fluxml
Home Page: https://fluxml.ai/Functors.jl/stable/
category-theory,Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.
Organization: functionalland
category-theory,Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
User: hmemcpy
Home Page: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
category-theory,A Rust/WASM implementation of homotopy.io
Organization: homotopy-io
Home Page: https://homotopy.io
category-theory,A categorical programming language with effects
User: jameshaydon
category-theory,A library for functional programming in Rust
User: jasonshin
category-theory,My mathematical Zettelkasten, created using forester.
User: jonsterling
Home Page: http://www.jonmsterling.com/
category-theory,Category theory in the context of (functional) programming
User: jwbuurlage
category-theory,An axiom-free formalization of category theory in Coq for personal study and practical work
User: jwiegley
category-theory,A curated list of awesome Category Theory resources.
User: madnight
Home Page: https://category-theory.org
category-theory,Functional programming great resources
User: mmenestret
category-theory,FP category theory jargon explained on a single A4 page
User: neko-kai
category-theory,A naive approach to functional programming using TypeScript
User: rafbcampos
category-theory,A ReasonML/Ocaml library for category theory and abstract algebra
User: risto-stevcev
category-theory,An experimental proof assistant based on a type theory for synthetic ∞-categories.
Organization: rzk-lang
Home Page: https://rzk-lang.github.io/rzk/
category-theory,A daily digest of the articles or videos I've found interesting, that I want to share with you.
User: sderosiaux
category-theory,ACT community resources
Organization: statebox
category-theory,CQL: Categorical Query Language implementation in Haskell
Organization: statebox
category-theory,Finite state machines as graphs
Organization: statebox
category-theory,formally verified category theory library
Organization: statebox
category-theory,Programming Language Theory λΠ
User: steshaw
Home Page: https://steshaw.org/plt/
category-theory,Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
User: thma
category-theory,Programming language agnostic type construction language based on polynomials.
Organization: typedefs
Home Page: http://typedefs.com/
category-theory,Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.
Organization: uncomplicate
Home Page: http://fluokitten.uncomplicate.org
category-theory,The agda-unimath library
Organization: unimath
Home Page: https://unimath.github.io/agda-unimath/
category-theory,A modern commutative diagram editor for the web.
User: varkor
Home Page: https://q.uiver.app
category-theory,Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
User: xvw
Home Page: https://ocaml-preface.github.io/preface/index.html
category-theory,Code samples for #monadicmonday topics
User: ybogomolov
category-theory,Render tikzcd diagrams with JSX.
User: yishn
category-theory,A simple visual editor for creating commutative diagrams.
User: yishn
Home Page: https://tikzcd.yichuanshen.de/
category-theory,A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Organization: zio
Home Page: https://zio.dev/zio-prelude
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.