Alternatives and similar repositories for pragmatic-category-theory:

Users that are interested in pragmatic-category-theory are comparing it to the libraries listed below

• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆199Updated last month
• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆125Updated 3 weeks ago
• uds-psl / Prog
  ☆82Updated 3 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆118Updated last year
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆239Updated 2 months ago
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆205Updated last year
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆44Updated 2 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆114Updated 2 months ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆124Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 6 months ago
• neohaskell / NeoHaskell
  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
  ☆311Updated last week
• robur-coop / miou
  A simple scheduler for OCaml 5
  ☆100Updated this week
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆166Updated 3 years ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆122Updated 3 weeks ago
• BartoszMilewski / DeepLearning
  Neural networks using parametric prelenses and Trimbara modules
  ☆33Updated last year
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆141Updated last year
• kiranandcode / petrol
  Petrol's an OCaml SQL API made to go FAST.
  ☆119Updated 5 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆216Updated this week
• ocaml-multicore / awesome-multicore-ocaml
  A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
  ☆151Updated last year
• stefan-hoeck / idris2-tutorial
  ☆213Updated last month
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆223Updated last year
• ArulselvanMadhavan / ocaml-ctfp
  OCaml version of Category Theory For Programmers
  ☆131Updated 5 years ago
• ocaml-wasm / wasm_of_ocaml
  ☆264Updated last month
• ad-si / awesome-fp-jobs
  A curated list of awesome functional programming jobs.
  ☆65Updated 3 months ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated 8 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆294Updated 4 months ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 3 years ago
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• HigherOrderCO / kindbook
  ☆45Updated 2 months ago