ku-fpg/hermit 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

ku-fpg/hermit

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/ku-fpg/hermit)

Close

ku-fpg / hermitView on GitHubMore

• External links
• Readme badge

Haskell Equational Reasoning Model-to-Implementation Tunnel

☆52Jan 12, 2023Updated 3 years ago

Alternatives and similar repositories for hermit

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

• Cognimeta / perdure

  View on GitHub
  Robust persistence for typed immutable data
  ☆16Nov 5, 2016Updated 9 years ago
• jespercockx / popl19-tutorial

  View on GitHub
  Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
  ☆26Jan 14, 2019Updated 7 years ago
• acowley / cabbage

  View on GitHub
  A tool for caching cabal builds in a Nix store
  ☆33Dec 23, 2015Updated 10 years ago
• chrisdone-archive / ghc-server

  View on GitHub
  A server interface to GHC.
  ☆19Oct 11, 2014Updated 11 years ago
• co-dan / interactive-diagrams

  View on GitHub
  Interactive-diagrams
  ☆39May 18, 2015Updated 10 years ago
• conal / lambda-ccc

  View on GitHub
  Convert lambda expressions to CCC combinators
  ☆149Feb 23, 2016Updated 10 years ago
• yallop / icfp2014-papers

  View on GitHub
  Accepted papers for ICFP 2014
  ☆119May 19, 2016Updated 9 years ago
• fpco / ide-backend

  View on GitHub
  ide-backend drives the GHC API to build, query, and run your code
  ☆118Jan 10, 2016Updated 10 years ago
• gasche / icfp2013-papers

  View on GitHub
  List of ICFP'13 accepted papers, with links to preprint or additional information when available
  ☆72Jul 24, 2016Updated 9 years ago
• davidbeckingsale / xmonad-config

  View on GitHub
  My xmonad config, the colour scheme is currently Zenburn, but a lime green and black scheme is in the testing-colour branch, "macstyle" i…
  ☆22Nov 1, 2011Updated 14 years ago
• iu-parfunc / haskell_dsl_tour

  View on GitHub
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Sep 28, 2015Updated 10 years ago
• mikeizbicki / simd

  View on GitHub
  simple interface to ghc's simd vector support
  ☆23Jun 25, 2015Updated 10 years ago
• imeckler / mote

  View on GitHub
  ☆116Aug 14, 2015Updated 10 years ago
• pigworker / CS410-14

  View on GitHub
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆72Jun 2, 2015Updated 10 years ago
• OlafChitil / hat

  View on GitHub
  The Haskell tracer - generating and viewing Haskell execution traces
  ☆38Jun 1, 2023Updated 2 years ago
• Gabriella439 / haskell-in-the-large

  View on GitHub
  A book about large-scale design in Haskell
  ☆75Sep 23, 2014Updated 11 years ago
• mpickering / icfp2015-papers

  View on GitHub
  Accepted papers for ICFP 2015
  ☆45Mar 4, 2016Updated 10 years ago
• Ucombinator / jaam

  View on GitHub
  JVM Abstracting Abstract Machine
  ☆25Jan 29, 2019Updated 7 years ago
• isovector / prospect

  View on GitHub
  static analysis of free monads
  ☆24Jul 10, 2018Updated 7 years ago
• HIPERFIT / accelerate-opencl

  View on GitHub
  ☆34Dec 3, 2011Updated 14 years ago
• jfeltz / dash-haskell

  View on GitHub
  dash docset builder for Haskell packages and cabal project dependencies
  ☆78Mar 16, 2020Updated 5 years ago
• edsko / ghc-dump-tree

  View on GitHub
  Dump GHC's abstract syntax trees
  ☆41Apr 17, 2022Updated 3 years ago
• conal / talk-2015-haskell-to-hardware

  View on GitHub
  From Haskell to Hardware via CCCs
  ☆58Jun 22, 2016Updated 9 years ago
• jwiegley / coq-pipes

  View on GitHub
  ☆99Sep 22, 2025Updated 5 months ago
• gibiansky / ghc-reskin

  View on GitHub
  A preprocessor for GHC for alternate Haskell syntaxes
  ☆38Sep 8, 2015Updated 10 years ago
• UnkindPartition / monad-classes

  View on GitHub
  A more flexible mtl
  ☆62Feb 23, 2018Updated 8 years ago
• UnkindPartition / freemonad-benchmark

  View on GitHub
  ☆25Nov 29, 2016Updated 9 years ago
• jwiegley / coq-haskell

  View on GitHub
  A library for formalizing Haskell types and functions in Coq
  ☆171Oct 15, 2023Updated 2 years ago
• DanielSchuessler / th-expand-syns

  View on GitHub
  Expands type synonyms in Template Haskell ASTs
  ☆11Jan 10, 2026Updated last month
• ilyasergey / plt-redex-fj

  View on GitHub
  A PLT Redex implementation of Featherweight Java
  ☆17Oct 8, 2012Updated 13 years ago
• DSLsofMath / FLABloM

  View on GitHub
  Functional Linear Algebra with Block Matrices
  ☆11Feb 17, 2022Updated 4 years ago
• smarr / CSOM

  View on GitHub
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆10Jul 16, 2021Updated 4 years ago
• nh2 / haskell-static-data-sqlite

  View on GitHub
  Example how to append data to a Haskell executable using sqlite
  ☆10Mar 16, 2020Updated 5 years ago
• oilandrust / rayhs

  View on GitHub
  A raytracer written in Haskell
  ☆10Aug 26, 2015Updated 10 years ago
• donaldsonjw / bigloo

  View on GitHub
  Bigloo Scheme Compiler
  ☆11Dec 28, 2015Updated 10 years ago
• UU-ComputerScience / js-asteroids

  View on GitHub
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Dec 1, 2014Updated 11 years ago
• clayrat / modal-types

  View on GitHub
  Experiments with modal types
  ☆17Oct 20, 2020Updated 5 years ago
• cau-placc / inversion-plugin

  View on GitHub
  ☆10Feb 27, 2026Updated last week
• gilligan / vim-textobj-haskell

  View on GitHub
  vim text objects for haskell
  ☆17Oct 26, 2015Updated 10 years ago