63 Open source projects that are alternatives of or similar to hamcat

CAP project -- Categories, Algorithms, and Programming

Relational Algebra, now with more algebra!

A Prelude with names from category theory

A framework for applied category theory in the Julia language

Category theory formalized in cubical agda

A simple visual editor for creating commutative diagrams.

Talks on category-parametric programming.

a toolbox for computing with monoidal categories

A formalization of category theory in cubical Agda

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.

A curated list of products that make life in office healthier and more productive.

A computational algebra system in Smalltalk.

This project is to contain a listing of common theorems in elementary category theory.

Categorical Query Language IDE

Category theory applied to functional programming (undergraduate project)

Open book about math and computer science.

Category theory concepts in type classes and instances.

A daily digest of the articles or videos I've found interesting, that I want to share with you.

C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Univalent mathematics in Agda

Categories parametrized by morphism equality, in Agda

一位酷爱做饭的程序员，立志用动画将算法说的通俗易懂。我的面试网站 www.chengxuchu.com

Category theory in the context of (functional) programming

Functional programming great resources

programmers를 이용한 코딩테스트 공부

A modern commutative diagram editor for the web.

Programming language agnostic type construction language based on polynomials.

An opinionated F# Library for error handling

A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

List of resources about foundational knowledge for programmers (supposed to last a few decades)

🏹 Bow Lite is a cross-platform library for Typed Functional Programming in Swift

Code samples for #monadicmonday topics

Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows

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.

Automatic typeclass-based abstraction over monad-like types

Examples with Functional JavaScript, following Professor Frisby's course

Automatic Differentiation using Pseudo Lenses. Neat.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

My undergradate thesis on coinductive types in univalent type theory

A graphical editor for graph-like structures

A library for functional programming in Rust

Category Theory For Programmers (Bartosz Milewski)

A categorical programming language with effects

A categorical semantics library in Agda.

An axiom-free formalization of category theory in Coq for personal study and practical work

A DSL for the internal language of a topos

formally verified category theory library

Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski

λΠ Programming Language Theory

1일 1문제 since 2020.02.07

CQL: Categorical Query Language implementation in Haskell

ACT community resources

Starting code and proposed solution for Functional Structures Refactoring Kata

삼성 청년 SW 아카데미 4기 서울 알고리즘 스터디 🔥🧑‍💻🔥

A ReasonML/Ocaml library for category theory and abstract algebra

A naive approach to functional programming using TypeScript

Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.