Alternatives and similar repositories for haskell-titan

Users that are interested in haskell-titan are comparing it to the libraries listed below

• csabahruska / bullet

  View on GitHub
  Haskell binding for Bullet physics engine
  ☆24May 14, 2020Updated 5 years ago
• bts / deferred-substitution

  View on GitHub
  An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
  ☆15Aug 8, 2018Updated 7 years ago
• konn / equational-reasoning-in-haskell

  View on GitHub
  Agda-style equational reasoning in Haskell
  ☆54Jan 18, 2026Updated 3 weeks ago
• hanshoglund / iso-deriving

  View on GitHub
  Derive instances through isomorphisms
  ☆20Jun 7, 2024Updated last year
• ayberkt / simplc

  View on GitHub
  A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.
  ☆16Dec 10, 2019Updated 6 years ago
• ivanperez-keera / dunai

  View on GitHub
  Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
  ☆228Feb 28, 2025Updated 11 months ago
• robrix / freer-cofreer

  View on GitHub
  freer monads and cofreer comonads.
  ☆23Jun 26, 2018Updated 7 years ago
• zaklogician / linear-constructive

  View on GitHub
  Linear Logic for Constructive Mathematics, in Agda
  ☆18Jul 7, 2019Updated 6 years ago
• ghcjs / diagrams-ghcjs

  View on GitHub
  diagrams backend that renders directly to an HTML5 canvas
  ☆23Apr 21, 2016Updated 9 years ago
• letmaik / monadiccp

  View on GitHub
  Monadic Constraint Programming framework
  ☆28May 9, 2018Updated 7 years ago
• phadej / idioms-plugins

  View on GitHub
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Jul 7, 2018Updated 7 years ago
• ghorn / not-gloss

  View on GitHub
  easy 3d plotting in haskell
  ☆28Jan 2, 2023Updated 3 years ago
• twanvl / simple-reflect

  View on GitHub
  Simple reflection of expressions
  ☆34Jun 18, 2021Updated 4 years ago
• hurryabit / pukeko

  View on GitHub
  A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"
  ☆25Jun 9, 2024Updated last year
• heades / System-F-Coq

  View on GitHub
  System F in coq.
  ☆19Jan 27, 2015Updated 11 years ago
• vincenthz / hs-memory

  View on GitHub
  haskell memory
  ☆48Aug 14, 2023Updated 2 years ago
• awakesecurity / proto3-wire

  View on GitHub
  ☆25Jan 5, 2026Updated last month
• DanielSchuessler / th-expand-syns

  View on GitHub
  Expands type synonyms in Template Haskell ASTs
  ☆11Jan 10, 2026Updated last month
• nebuta / d3js-haskell

  View on GitHub
  Haskell to D3.js binding by deep EDSL approach.
  ☆23Sep 20, 2014Updated 11 years ago
• haskell-servant / servant-blaze

  View on GitHub
  ☆12Dec 13, 2025Updated 2 months ago
• mit-plv / reification-by-parametricity

  View on GitHub
  Fast Setup for Proof by Reflection, in Two Lines of Ltac.
  ☆14Jan 12, 2021Updated 5 years ago
• mikesol / purescript-deku-realworld

  View on GitHub
  A realworld implementation using purescript-deku
  ☆10Apr 28, 2024Updated last year
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• magthe / sandi

  View on GitHub
  Data encoding library for Haskell.
  ☆12Aug 4, 2023Updated 2 years ago
• mxswd / editable

  View on GitHub
  Derive editors for data types.
  ☆28Oct 5, 2014Updated 11 years ago
• RyanGlScott / eliminators

  View on GitHub
  Dependently typed elimination functions using singletons
  ☆28Jan 11, 2026Updated last month
• codygman / concise-json-parsing-in-haskell

  View on GitHub
  concise json parsing in Haskell using lenses
  ☆20Oct 2, 2017Updated 8 years ago
• abailly / hs-word2vec

  View on GitHub
  A port of Google's word2vec to Haskell
  ☆26Aug 20, 2016Updated 9 years ago
• cartazio / resin

  View on GitHub
  Resin: high performance variable binder and ast manipulation lib
  ☆13Jan 1, 2019Updated 7 years ago
• jb55 / nix-files

  View on GitHub
  My NixOS configuration and custom Nix derivations.
  ☆12Nov 2, 2020Updated 5 years ago
• gergoerdi / clash-tinybasic

  View on GitHub
  ☆11Nov 2, 2021Updated 4 years ago
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• gibiansky / haskell-course-notes

  View on GitHub
  ☆12Oct 1, 2014Updated 11 years ago
• basic-calculus / hs-callbypushvalue

  View on GitHub
  Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?
  ☆14Oct 4, 2020Updated 5 years ago
• gergoerdi / retroclash-lib

  View on GitHub
  Library code for upcoming RetroClash book
  ☆10Feb 22, 2025Updated 11 months ago
• lehins / massiv-io

  View on GitHub
  Read and write images as massiv arrays
  ☆13Oct 23, 2021Updated 4 years ago
• mitchellwrosen / tasty-hspec

  View on GitHub
  Hspec provider for tasty
  ☆15Oct 7, 2025Updated 4 months ago
• hdgarrood / qq-literals

  View on GitHub
  A Haskell library for compile-time checked literal values, via QuasiQuoters.
  ☆13Sep 20, 2021Updated 4 years ago
• taktoa / ghcjs-electron

  View on GitHub
  GHCJS FFI bindings to the Electron API (WIP).
  ☆10May 21, 2017Updated 8 years ago