TaktInc/freer external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

TaktInc/freer

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/TaktInc/freer)

Close

TaktInc / freerView on GitHubMore

• External links
• Readme badge

☆23Apr 17, 2018Updated 7 years ago

Alternatives and similar repositories for freer

Users that are interested in freer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• LightAndLight / parametricity-proofs

  View on GitHub
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Jul 19, 2018Updated 7 years ago
• isovector / ghci.vim

  View on GitHub
  ↔️ tight ghci integration for vim
  ☆17Oct 21, 2022Updated 3 years ago
• jwiegley / ghc-dynamic-example

  View on GitHub
  An example of dynamically loading a Haskell source module
  ☆18May 9, 2018Updated 7 years ago
• barrucadu / minifu

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

  View on GitHub
  Extensible, Type Safe Error Handling in Haskell
  ☆13Dec 22, 2020Updated 5 years ago
• nomeata / bisect-binary

  View on GitHub
  Tool to determine relevant parts of binary data
  ☆44Dec 5, 2017Updated 8 years ago
• bgamari / play-type-search

  View on GitHub
  A hack to find types in Haskell codebases
  ☆10Aug 15, 2015Updated 10 years ago
• glaebhoerl / simplecompiler

  View on GitHub
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Jan 14, 2019Updated 7 years ago
• RyanGlScott / eliminators

  View on GitHub
  Dependently typed elimination functions using singletons
  ☆28Jan 11, 2026Updated 2 months ago
• IxpertaSolutions / freer-effects

  View on GitHub
  An implementation of "Freer Monads, More Extensible Effects".
  ☆64Jul 8, 2018Updated 7 years ago
• mpickering / hashtag-coerce

  View on GitHub
  A GHC source plugin which detects opportunities to use coerce
  ☆17Aug 8, 2018Updated 7 years ago
• haskell-at-work / domain-modelling-with-haskell

  View on GitHub
  ☆37Feb 12, 2018Updated 8 years ago
• spinda / liquidhaskell-cabal

  View on GitHub
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25May 30, 2019Updated 6 years ago
• haskell-distributed / distributed-process-supervisor

  View on GitHub
  Cloud Haskell Supervision Trees
  ☆11Sep 3, 2024Updated last year
• parsonsmatt / lambda

  View on GitHub
  An exploration and implementation of the lambda calculus.
  ☆12Oct 18, 2016Updated 9 years ago
• Icelandjack / deriving-via

  View on GitHub
  Deriving via
  ☆33Aug 6, 2018Updated 7 years ago
• aloiscochard / grpc-haskell

  View on GitHub
  Haskell implementation of gRPC layered on shared C library.
  ☆24May 30, 2015Updated 10 years ago
• i-am-tom / dagless

  View on GitHub
  A monadic interface for DAG construction.
  ☆24May 11, 2021Updated 4 years ago
• kcsongor / register-machine-type

  View on GitHub
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Apr 5, 2016Updated 9 years ago
• ChrisPenner / update-monad

  View on GitHub
  An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf
  ☆13Oct 11, 2018Updated 7 years ago
• owickstrom / motor

  View on GitHub
  Type-safe effectful state machines in Haskell
  ☆96Sep 13, 2020Updated 5 years ago
• haskell-suite / haskell-names

  View on GitHub
  Haskell suite library for name resolution
  ☆53Apr 9, 2025Updated 11 months ago
• facebookarchive / hs-zstd

  View on GitHub
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆47Feb 7, 2017Updated 9 years ago
• haskell-suite / haskell-tc

  View on GitHub
  Haskell typechecker
  ☆39May 7, 2019Updated 6 years ago
• jneira / wai-servlet

  View on GitHub
  Library to integrate eta wai applications with servlet api
  ☆18Jan 9, 2019Updated 7 years ago
• jwiegley / coq-cds4ltl

  View on GitHub
  A formal verification of Linear Temporal Logic in Coq
  ☆23Mar 17, 2026Updated last week
• sellout / dualizer

  View on GitHub
  Delete half (minus ε) of your Haskell code!
  ☆30Mar 14, 2026Updated last week
• basvandijk / monad-control

  View on GitHub
  Lift control operations, like exception catching, through monad transformers
  ☆58Dec 17, 2022Updated 3 years ago
• puffnfresh / leftpad.hs

  View on GitHub
  Verified left pad
  ☆19Apr 14, 2018Updated 7 years ago
• shajra / shajra-presentations

  View on GitHub
  source code to generate presentations
  ☆11Nov 20, 2021Updated 4 years ago
• edsko / stack2cabal

  View on GitHub
  ☆14Apr 17, 2022Updated 3 years ago
• serokell / rocksdb-haskell

  View on GitHub
  Haskell bindings to RocksDB (http://rocksdb.org)
  ☆27Apr 25, 2018Updated 7 years ago
• purescript-deprecated / purescript-base

  View on GitHub
  ☆10Apr 30, 2020Updated 5 years ago
• haskell-distributed / distributed-process-client-server

  View on GitHub
  Cloud Haskell - gen_server implementation
  ☆13Sep 3, 2024Updated last year
• nikivazou / proof-combinators

  View on GitHub
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Mar 28, 2018Updated 7 years ago
• jwiegley / simple-conduit

  View on GitHub
  ☆24Jan 23, 2017Updated 9 years ago
• hamnis / immutable-json

  View on GitHub
  Immutable Json library for java
  ☆16Nov 8, 2024Updated last year
• brunjlar / protop

  View on GitHub
  topos programming
  ☆31Sep 20, 2018Updated 7 years ago
• ku-fpg / data-reify

  View on GitHub
  Reification of data structures using observable sharing
  ☆30Oct 27, 2024Updated last year