Alternatives and similar repositories for jhc-grin

Users that are interested in jhc-grin are comparing it to the libraries listed below

• GaloisInc / cryfsm

  View on GitHub
  convert simple cryptol expressions into finite-state machines
  ☆22Sep 15, 2017Updated 8 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• GaloisInc / alex-tools

  View on GitHub
  A Haskell library making it easier to write Alex lexers.
  ☆12Sep 15, 2025Updated 5 months ago
• benjaminselfridge / logix

  View on GitHub
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆21Jun 3, 2022Updated 3 years ago
• LeastAuthority / haskell-spake2

  View on GitHub
  SPAKE2 key exchange protocol for Haskell
  ☆14May 24, 2023Updated 2 years ago
• robrix / abstract-interpretation

  View on GitHub
  Experiments in abstracting definitional interpreters
  ☆16Oct 13, 2017Updated 8 years ago
• valderman / ghc-simple

  View on GitHub
  Simplified interface to the GHC API
  ☆22Apr 4, 2019Updated 6 years ago
• noteed / language-glsl

  View on GitHub
  Haskell package for representation, parsing, and pretty-printing of GLSL
  ☆31Sep 19, 2023Updated 2 years ago
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• llvm-hs / llvm-hs-typed

  View on GitHub
  Type Safe LLVM IR ( Experimental )
  ☆49Jun 13, 2018Updated 7 years ago
• LouisJenkinsCS / LLVM-JVM

  View on GitHub
  [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell
  ☆21Aug 23, 2021Updated 4 years ago
• csabahruska / p4f-control-flow-analysis

  View on GitHub
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Jun 4, 2022Updated 3 years ago
• andrewthad / packed

  View on GitHub
  Unpinned byte arrays in GHC haskell
  ☆22Jan 8, 2019Updated 7 years ago
• MichaelXavier / drifter-postgresql

  View on GitHub
  PostgreSQL support for the drifter schema migration tool
  ☆12Dec 25, 2017Updated 8 years ago
• hsyl20 / ghc-studio

  View on GitHub
  Web frontend for GHC
  ☆12Dec 10, 2019Updated 6 years ago
• thinkpad20 / rowling

  View on GitHub
  A simple, easily embeddable pure-functional language with static typing and row polymorphism.
  ☆10Jul 9, 2015Updated 10 years ago
• DanielG / rts-loader

  View on GitHub
  Haskell dynamic RTS loader
  ☆13Jun 24, 2016Updated 9 years ago
• psibi / sysinfo

  View on GitHub
  Haskell Interface for getting overall system statistics
  ☆16Feb 8, 2019Updated 7 years ago
• xnning / dependent-types-in-haskell

  View on GitHub
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆16Dec 13, 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
• taktoa / ghcjs-electron

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

  View on GitHub
  TripleSec is a simple, triple-paranoid, symmetric encryption library
  ☆13Dec 26, 2023Updated 2 years ago
• lthms / chain

  View on GitHub
  Extensible, Type Safe Error Handling in Haskell
  ☆13Dec 22, 2020Updated 5 years ago
• barrucadu / minifu

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

  View on GitHub
  [WIP] A type system for nix
  ☆63Jul 11, 2019Updated 6 years ago
• nmattia / haskell-hot-swap

  View on GitHub
  Hot swapping compiled code while keeping a websocket connection open
  ☆26May 24, 2016Updated 9 years ago
• atzeus / CTRex

  View on GitHub
  Open records for Haskell
  ☆22Oct 6, 2017Updated 8 years ago
• osa1 / StrictCore

  View on GitHub
  An experimental intermediate language for GHC
  ☆36Sep 8, 2017Updated 8 years ago
• ezyang / deepseq-magic

  View on GitHub
  Deep evaluation of data structures without NFData
  ☆10Jan 20, 2015Updated 11 years ago
• eugmes / imp

  View on GitHub
  Compiler for IMP programming language implemented in Haskell
  ☆16Jun 16, 2020Updated 5 years ago
• GaloisInc / hexdump

  View on GitHub
  A human readable style for binary data.
  ☆12Dec 4, 2019Updated 6 years ago
• alexbiehl / ignite

  View on GitHub
  Typesafe Off-Heap data structures for GHC Haskell
  ☆14Nov 10, 2017Updated 8 years ago
• thoughtpolice / claap

  View on GitHub
  "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
  ☆13Mar 31, 2017Updated 8 years ago
• draperlaboratory / cspgen

  View on GitHub
  A tool for translating imperative programs to CSP.
  ☆13Feb 7, 2017Updated 9 years ago
• ocramz / taco-hs

  View on GitHub
  Haskell port of the Tensor Algebra COmpiler
  ☆16Nov 18, 2019Updated 6 years ago
• cobbpg / elerea-examples

  View on GitHub
  Executable examples for Elerea.
  ☆18Jun 19, 2016Updated 9 years ago
• haskell / ghc-events

  View on GitHub
  Library and tool for parsing .eventlog files from GHC
  ☆37Jan 23, 2026Updated 3 weeks ago
• haskellari / lattices

  View on GitHub
  Fine-grained lattice primitives for Haskell
  ☆38Jul 1, 2025Updated 7 months ago
• harendra-kumar / xls

  View on GitHub
  Haskell Library to Parse MS Excel (.xls format)
  ☆16Sep 12, 2024Updated last year