Alternatives and similar repositories for categorical

Users that are interested in categorical are comparing it to the libraries listed below

• ElvishJerricco / nix-purescriptPackages

  View on GitHub
  ☆19Mar 23, 2017Updated 8 years ago
• conal / talk-2016-generic-parallel-scan

  View on GitHub
  Talk on generic parallel scan
  ☆14May 12, 2017Updated 8 years ago
• kframework / matching-logic-prover

  View on GitHub
  ☆15Apr 16, 2021Updated 4 years ago
• davean / waldo

  View on GitHub
  A small Haskell server for generating visual stories based on some ascertainable data about the requester.
  ☆57Jun 10, 2012Updated 13 years ago
• ekmett / intervals

  View on GitHub
  Interval Arithmetic
  ☆27Jan 23, 2025Updated last year
• jxv / animate-frames

  View on GitHub
  🎞️ Sprite frames to spritesheet & metadata
  ☆18Jun 17, 2018Updated 7 years ago
• yav / simple-smt

  View on GitHub
  ☆22Oct 20, 2025Updated 3 months ago
• ekmett / codebruijn

  View on GitHub
  experiments with pext/pdep and codebruijn syntax
  ☆17Nov 17, 2019Updated 6 years ago
• Profpatsch / libnix-haskell

  View on GitHub
  Haskell library to interface with the nix package manager
  ☆25Nov 23, 2021Updated 4 years ago
• cleverca22 / cachecache

  View on GitHub
  ☆21Apr 14, 2023Updated 2 years ago
• compiling-to-categories / concat

  View on GitHub
  Compiling to Categories
  ☆458Feb 28, 2024Updated last year
• LumiGuide / lumi-example

  View on GitHub
  A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions
  ☆10Mar 26, 2017Updated 8 years ago
• Cognimeta / perdure

  View on GitHub
  Robust persistence for typed immutable data
  ☆16Nov 5, 2016Updated 9 years ago
• ekmett / auth

  View on GitHub
  ☆40Jul 1, 2018Updated 7 years ago
• bgamari / play-type-search

  View on GitHub
  A hack to find types in Haskell codebases
  ☆10Aug 15, 2015Updated 10 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• isovector / th-dict-discovery

  View on GitHub
  🐙 discover Dicts
  ☆14Jan 25, 2018Updated 8 years ago
• quchen / stackalone

  View on GitHub
  Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed
  ☆10Jun 8, 2017Updated 8 years ago
• barrucadu / minifu

  View on GitHub
  A tutorial on writing a concurrency testing tool in Haskell
  ☆12Nov 5, 2017Updated 8 years ago
• system-f / papa

  View on GitHub
  Reasonable Haskell default import
  ☆27Sep 12, 2022Updated 3 years ago
• xtruder / nix-kubernetes

  View on GitHub
  Kubernetes deployment manager written in nix (DEPRECATED for https://github.com/xtruder/kubenix)
  ☆80Jun 26, 2018Updated 7 years ago
• ekmett / keys

  View on GitHub
  keyed functors
  ☆23Jan 10, 2026Updated last month
• ekmett / bound

  View on GitHub
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆128Jan 23, 2026Updated 3 weeks ago
• mikeizbicki / typeparams

  View on GitHub
  Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation
  ☆42Jan 26, 2015Updated 11 years ago
• andyarvanitis / idris-cplusplus

  View on GitHub
  Experimental C++11 backend for Idris
  ☆15Nov 29, 2014Updated 11 years ago
• LightAndLight / cbpv

  View on GitHub
  A usable type system for call by push-value
  ☆33Dec 16, 2019Updated 6 years ago
• kosmikus / ghc-compact-holes

  View on GitHub
  GHC patched with the -fcompact-holes flag
  ☆11Nov 12, 2018Updated 7 years ago
• Gabriella439 / nixfmt

  View on GitHub
  Automatic code formatter for the Nix programming language
  ☆50Sep 21, 2016Updated 9 years ago
• sweirich / corespec

  View on GitHub
  A Specification for Dependent Types in Haskell (Core)
  ☆64Jun 30, 2022Updated 3 years ago
• soenkehahn / dead-code-detection

  View on GitHub
  ☆25Aug 10, 2016Updated 9 years ago
• bmsherman / topology

  View on GitHub
  Formal topology (and some probability) in Coq
  ☆31Nov 30, 2018Updated 7 years ago
• maximedenes / native-coq

  View on GitHub
  Coq with native compilation, as well as machine integers and arrays !
  ☆63Jul 12, 2018Updated 7 years ago
• ocharles / dhallql

  View on GitHub
  Can we write a querying language with Dhall? Let's find out!
  ☆63Oct 21, 2018Updated 7 years ago
• jfdm / idris-xml

  View on GitHub
  A simple XML module for Idris.
  ☆13May 22, 2020Updated 5 years ago
• jship / tao

  View on GitHub
  Type-level assertion operators
  ☆16Mar 20, 2018Updated 7 years ago
• ocharles / opaleye-tf

  View on GitHub
  An alternative interface to Opaleye, built around type families
  ☆13Nov 23, 2016Updated 9 years ago
• mwotton / dustme

  View on GitHub
  Haskell reimplementation of Selecta
  ☆16Jul 17, 2019Updated 6 years ago
• davnils / spoty

  View on GitHub
  Spotify web API in Haskell
  ☆13Mar 29, 2016Updated 9 years ago
• sdiehl / double-ratchet

  View on GitHub
  Double ratchet algorithm for E2E encryption
  ☆59Nov 22, 2018Updated 7 years ago