Alternatives and similar repositories for pragmatic-category-theory:

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

• graninas / Pragmatic-Type-Level-Design
  Code and materials for my book "Pragmatic Type Level Design"
  ☆126Updated 2 weeks ago
• uds-psl / Prog
  ☆83Updated 3 years ago
• chshersh / ccl
  📜 CCL: Categorical Configuration Language, The most elegant configuration language
  ☆204Updated 2 months ago
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆43Updated 2 months ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆125Updated 3 weeks ago
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 7 months ago
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆142Updated last year
• ad-si / awesome-fp-jobs
  A curated list of awesome functional programming jobs.
  ☆66Updated 5 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆114Updated 3 months ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆126Updated last year
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆127Updated 2 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆170Updated 3 years ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆299Updated 5 months ago
• MondayMorningHaskell / haskellings
  An automated tutorial to teach you about Haskell!
  ☆170Updated last year
• iokasimov / ya
  Я - extremely composable embeddable programming language
  ☆53Updated this week
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆207Updated last year
• reubenharry / haskell-docs
  ☆59Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 6 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆72Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆219Updated this week
• kiranandcode / petrol
  Petrol's an OCaml SQL API made to go FAST.
  ☆120Updated 6 months ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆244Updated 3 months ago
• tpetricek / teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆102Updated 4 months ago
• stefan-hoeck / idris2-tutorial
  ☆216Updated 2 weeks ago
• kayceesrk / cs3100_m20
  CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)
  ☆47Updated 3 months ago
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆63Updated 7 years ago
• andys8 / type-signature-com
  Who Wants to Be a Millionaire - but with types
  ☆89Updated last year