Alternatives and similar repositories for category-theory-by-example

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

• Beluga-lang / Meta

  View on GitHub
  Mechanizing Types and Programming Languages using Beluga
  ☆21May 29, 2020Updated 5 years ago
• Coq-Math-Problems / Problems

  View on GitHub
  ☆16Jun 17, 2017Updated 8 years ago
• purescript-deprecated / purescript-symbols

  View on GitHub
  ☆12Oct 3, 2020Updated 5 years ago
• justinwoo / call-ps-from-js

  View on GitHub
  this repo demonstrates calling purescript from javascript through the output.
  ☆11Jul 23, 2017Updated 8 years ago
• haskell-rewriting / term-rewriting

  View on GitHub
  Yet another haskell term rewriting library
  ☆18Aug 27, 2025Updated 5 months ago
• musha68k / chill-netcat

  View on GitHub
  UDP-only netcat implementation with OCaml / MirageOS
  ☆14Mar 21, 2017Updated 8 years ago
• google / idris-protobuf

  View on GitHub
  A partial implementation of Protocol Buffers in Idris
  ☆32Aug 12, 2017Updated 8 years ago
• purescripters / purescript-template-strings

  View on GitHub
  ES6 style template strings for Purescript
  ☆27Dec 31, 2022Updated 3 years ago
• sto0pkid / CategoryTheory

  View on GitHub
  Category Theory in Agda
  ☆13Jan 16, 2018Updated 8 years ago
• kritzcreek / okasaki

  View on GitHub
  Working through Okasaki's "Functional Datastructures" in PureScript
  ☆14Nov 9, 2016Updated 9 years ago
• ayberkt / Mini-TT

  View on GitHub
  A tiny implementation of dependent types.
  ☆11Oct 24, 2017Updated 8 years ago
• deech / lambdaconf-shen-talk

  View on GitHub
  ☆15May 28, 2016Updated 9 years ago
• TimRichter / CId

  View on GitHub
  a little category theory in Idris
  ☆10Jun 27, 2016Updated 9 years ago
• ucsd-progsys / liquid-types-spacemacs

  View on GitHub
  Spacemacs Layer for LiquidHaskell
  ☆13Jun 10, 2017Updated 8 years ago
• csabahruska / jhc-grin

  View on GitHub
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Dec 13, 2018Updated 7 years ago
• ayberkt / sml-system-t

  View on GitHub
  SML implementation of System T from PFPL.
  ☆11Jun 28, 2017Updated 8 years ago
• relrod / ct

  View on GitHub
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Aug 3, 2019Updated 6 years ago
• arthurxavierx / purescript-carpenter

  View on GitHub
  Simple architectures for type-safe state management in React inspired by Elm, Thermite and Halogen
  ☆34Jan 6, 2017Updated 9 years ago
• tel / hotep

  View on GitHub
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Jan 19, 2017Updated 9 years ago
• carl-eastlund / dracula

  View on GitHub
  ☆10Jan 24, 2016Updated 10 years ago
• jstolarek / why-dependent-types-matter

  View on GitHub
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Jun 14, 2018Updated 7 years ago
• bodil / purescript-kanren

  View on GitHub
  Relational programming for PureScript
  ☆17Jan 5, 2017Updated 9 years ago
• paf31 / purescript-leibniz

  View on GitHub
  Leibniz Equality
  ☆19Jun 7, 2018Updated 7 years ago
• Thimoteus / purescript-transformerless

  View on GitHub
  Transformerless monads for Puresript
  ☆22Sep 26, 2018Updated 7 years ago
• radusw / tagless-free-monix-sample

  View on GitHub
  A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad
  ☆14May 20, 2017Updated 8 years ago
• sbp / idris-bi

  View on GitHub
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆37Dec 31, 2020Updated 5 years ago
• ssomayyajula / linear

  View on GitHub
  Linear Algebra Done...Lean
  ☆19Jan 15, 2018Updated 8 years ago
• LiamGoodacre / purescript-type-lang

  View on GitHub
  Lambda calculus at the type level.
  ☆20Jul 22, 2017Updated 8 years ago
• david-christiansen / pudding-old

  View on GitHub
  A language-integrated proof assistant, for and in Racket
  ☆39Aug 26, 2016Updated 9 years ago
• cristianoc / REInfer

  View on GitHub
  Runtime Extended Inference for json data.
  ☆22Jan 4, 2023Updated 3 years ago
• lexi-lambda / racket-higher-rank

  View on GitHub
  ☆21May 9, 2017Updated 8 years ago
• githwxi / ATS-Postiats-contrib

  View on GitHub
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆50Aug 3, 2020Updated 5 years ago
• stefankoegel / clickyEvaluation

  View on GitHub
  Visual tool for stepwise evaluation of simple Haskell expressions
  ☆20Dec 20, 2019Updated 6 years ago
• xgrommx / idris-ecosystem

  View on GitHub
  ☆50Dec 21, 2017Updated 8 years ago
• VictorTaelin / parallel_lambda_computer_tests

  View on GitHub
  learning cuda
  ☆19Jun 27, 2016Updated 9 years ago
• purescript-contrib / purescript-quickcheck-laws

  View on GitHub
  QuickCheck powered law tests for PureScript's core typeclasses.
  ☆26Oct 17, 2022Updated 3 years ago
• thoughtbot / typebot

  View on GitHub
  A slack bot that will fetch type signatures via Hoogle
  ☆21May 11, 2016Updated 9 years ago
• davidgomes / bs-webworkers

  View on GitHub
  Web Workers with ReasonML
  ☆23Aug 30, 2023Updated 2 years ago
• sharkdp / purescript-ctprelude

  View on GitHub
  A Prelude with names from category theory
  ☆51Sep 5, 2016Updated 9 years ago