Alternatives and similar repositories for talk-2023-galilean-revolution

Users that are interested in talk-2023-galilean-revolution are comparing it to the libraries listed below

• conal / felix

  View on GitHub
  Agda category theory library for denotational design
  ☆57Jan 25, 2026Updated 3 weeks ago
• conal / Collaboration

  View on GitHub
  Play/learn/work with me
  ☆114Dec 2, 2025Updated 2 months ago
• conal / paper-2021-language-derivatives

  View on GitHub
  Paper and talk
  ☆55Jul 11, 2023Updated 2 years ago
• tfausak / ratel

  View on GitHub
  Notify Honeybadger about Haskell exceptions.
  ☆12Jan 14, 2026Updated last month
• agda / agda-stdlib-meta

  View on GitHub
  Meta-programming utilities for Agda.
  ☆20Aug 5, 2025Updated 6 months ago
• um-catlab / cubical-categorical-logic

  View on GitHub
  Extensions to cubical for categorical logic/type theory
  ☆36Updated this week
• Gabriella439 / HasCal

  View on GitHub
  Haskell embedding of PlusCal
  ☆62May 21, 2022Updated 3 years ago
• patrickt / configurant

  View on GitHub
  A Haskell library for loading configuation data from environment variables.
  ☆17Nov 4, 2022Updated 3 years ago
• SamuelSchlesinger / summer

  View on GitHub
  Extensible sums and products for Haskell
  ☆19Apr 29, 2023Updated 2 years ago
• turboMaCk / wai-enforce-https

  View on GitHub
  Enforce HTTPS in Wai server app safely.
  ☆13Nov 1, 2021Updated 4 years ago
• freckle / faktory_worker_haskell

  View on GitHub
  Faktory Worker for Haskell
  ☆17Dec 15, 2025Updated 2 months ago
• haskell-spec / haskell-spec

  View on GitHub
  Formal specification of the Haskell Language Report
  ☆30Jan 25, 2026Updated 3 weeks ago
• philzook58 / rel

  View on GitHub
  Explorations in relations and the algebra of programming
  ☆17Oct 4, 2019Updated 6 years ago
• sweirich / lambda-calculus

  View on GitHub
  Denotational Semantics of the Untyped Lambda Calculus
  ☆17Feb 5, 2025Updated last year
• clash-lang / ghc-typelits-knownnat

  View on GitHub
  Derive KnownNat constraints from other KnownNat constraints
  ☆14Feb 10, 2026Updated last week
• conal / quotes

  View on GitHub
  My favorite quotes
  ☆17Oct 12, 2025Updated 4 months ago
• robrix / languages-all-the-way-down

  View on GitHub
  outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
  ☆20Jun 12, 2020Updated 5 years ago
• conal / convolution-paper

  View on GitHub
  Generalized Convolution and Efficient Language Recognition
  ☆18Jul 20, 2019Updated 6 years ago
• monadicsystems / lucid-htmx

  View on GitHub
  lucid + htmx = lucid-htmx
  ☆19Jul 31, 2024Updated last year
• mwotton / roboservant

  View on GitHub
  generate contextually sensible fuzz tests for servant apps
  ☆26Oct 7, 2025Updated 4 months ago
• rudymatela / leancheck

  View on GitHub
  enumerative property-based testing for Haskell
  ☆53Aug 7, 2025Updated 6 months ago
• wenkokke / AutoInAgda

  View on GitHub
  Proof automation – for Agda, in Agda.
  ☆45Sep 7, 2020Updated 5 years ago
• sellout / compiling-anything-to-categories

  View on GitHub
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆21Apr 3, 2024Updated last year
• kayhide / wakame

  View on GitHub
  Haskell library of row polymorphic record manipulator
  ☆23Oct 19, 2020Updated 5 years ago
• gergoerdi / clashilator

  View on GitHub
  Generate interface between Clash and Verilator
  ☆23Dec 22, 2025Updated last month
• kowainik / piece-of-cake-slayer

  View on GitHub
  🍰🍴Template project based on the cake-slayer architecture library
  ☆19Jan 11, 2023Updated 3 years ago
• agda / agda2hs

  View on GitHub
  Compiling Agda code to readable Haskell
  ☆200Feb 3, 2026Updated 2 weeks ago
• ludat / conferer

  View on GitHub
  Configuration managment for haskell
  ☆23Feb 10, 2026Updated last week
• stevana / hot-swapping-state-machines

  View on GitHub
  An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.
  ☆21Feb 22, 2023Updated 2 years ago
• gelisam / magic-typelevel-elem

  View on GitHub
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Dec 29, 2020Updated 5 years ago
• haflang / heron

  View on GitHub
  A special-purpose processor for pure, non-strict functional languages
  ☆31Jan 7, 2025Updated last year
• scrive / nix-workshop

  View on GitHub
  Nix Workshop Tutorials
  ☆51Jun 18, 2021Updated 4 years ago
• rampion / conkin

  View on GitHub
  Tools for functors from Hask^k to Hask
  ☆23Aug 25, 2019Updated 6 years ago
• mrVanDalo / nix-shell-mix

  View on GitHub
  A bunch of nix-shell files for inspiration.
  ☆28Apr 21, 2020Updated 5 years ago
• lexi-lambda / monad-validate

  View on GitHub
  A Haskell monad transformer library for data validation
  ☆38Aug 17, 2023Updated 2 years ago
• sweirich / lennart-lambda

  View on GitHub
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆29Jul 22, 2021Updated 4 years ago
• conal / talk-2020-calculating-compilers-categorically

  View on GitHub
  A talk
  ☆29Apr 14, 2021Updated 4 years ago
• gelisam / category-syntax

  View on GitHub
  do-notation for Category and "Arrow without arr"
  ☆63Mar 17, 2017Updated 8 years ago
• NorfairKing / really-safe-money

  View on GitHub
  Uncompromisingly safe money library
  ☆62Dec 3, 2025Updated 2 months ago