Alternatives and similar repositories for paris-fp

Users that are interested in paris-fp are comparing it to the libraries listed below

• csabahruska / jhc-grin

  View on GitHub
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Dec 13, 2018Updated 7 years ago
• merijn / timeit

  View on GitHub
  A simple wrapper of an IO computation to show the used CPU time.
  ☆16Mar 14, 2025Updated 11 months 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
• brendanhay / numbersd

  View on GitHub
  Concurrent and efficient implementation of statsd in Haskell
  ☆19Feb 12, 2014Updated 12 years ago
• DanielG / rts-loader

  View on GitHub
  Haskell dynamic RTS loader
  ☆13Jun 24, 2016Updated 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
• aherrmann / simply_llvm

  View on GitHub
  ☆41Jul 2, 2017Updated 8 years ago
• orome / crypto-enigma-hs

  View on GitHub
  A Haskell Enigma machine simulator with rich display and machine state details.
  ☆23Dec 2, 2022Updated 3 years ago
• chpatrick / codec

  View on GitHub
  Easy bidirectional serialization in Haskell
  ☆49Dec 12, 2018Updated 7 years ago
• emilaxelsson / ho-rewriting

  View on GitHub
  A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
  ☆12Jan 31, 2026Updated 2 weeks ago
• ezyang / deepseq-magic

  View on GitHub
  Deep evaluation of data structures without NFData
  ☆10Jan 20, 2015Updated 11 years ago
• ocramz / taco-hs

  View on GitHub
  Haskell port of the Tensor Algebra COmpiler
  ☆16Nov 18, 2019Updated 6 years ago
• eugmes / imp

  View on GitHub
  Compiler for IMP programming language implemented in Haskell
  ☆16Jun 16, 2020Updated 5 years ago
• sdiehl / dive-into-ghc

  View on GitHub
  Dive into GHC
  ☆82Dec 26, 2016Updated 9 years ago
• llvm-hs / llvm-hs-typed

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

  View on GitHub
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Jun 13, 2017Updated 8 years ago
• def- / ghc-datasize

  View on GitHub
  ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory
  ☆17Aug 22, 2024Updated last year
• msprotz / proof-search-monad

  View on GitHub
  Tentative write-up of a neat trick used in the Mezzo type-checker
  ☆15Nov 27, 2015Updated 10 years ago
• robrix / abstract-interpretation

  View on GitHub
  Experiments in abstracting definitional interpreters
  ☆16Oct 13, 2017Updated 8 years ago
• llvm-hs / llvm-hs-quote

  View on GitHub
  Quasiquoter for LLVM
  ☆31Apr 14, 2018Updated 7 years ago
• takenobu-hs / ghc-development-flow

  View on GitHub
  GHC development flow
  ☆24May 3, 2017Updated 8 years ago
• tyehle / llvm-lambda

  View on GitHub
  A compiler for a simple language using llvm
  ☆37Jun 14, 2023Updated 2 years ago
• philzook58 / lens-algebra

  View on GitHub
  Type level algebraic "proofs" using lens combinators
  ☆19Jul 26, 2019Updated 6 years ago
• derekelkins / ads

  View on GitHub
  Authenticated Data Structures
  ☆16Jul 5, 2015Updated 10 years ago
• danidiaz / streamy

  View on GitHub
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Sep 16, 2017Updated 8 years ago
• liamoc / wizards

  View on GitHub
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Jun 18, 2021Updated 4 years ago
• mikeizbicki / simd

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

  View on GitHub
  Ask for solutions.
  ☆19Aug 5, 2019Updated 6 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
• yav / simple-smt

  View on GitHub
  ☆22Oct 20, 2025Updated 3 months ago
• langston-barrett / coq-big-o

  View on GitHub
  A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
  ☆36May 14, 2017Updated 8 years ago
• ilya-klyuchnikov / lambdapi

  View on GitHub
  Dependently Typed Lambda Calculus in Haskell
  ☆116Mar 8, 2021Updated 4 years ago
• andrewthad / primitive-containers

  View on GitHub
  Map and Set over contiguous memory
  ☆22Aug 9, 2023Updated 2 years ago
• phadej / idioms-plugins

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

  View on GitHub
  Tiny type-checker with dependent types
  ☆78Jan 8, 2014Updated 12 years ago
• tfausak / lackey

  View on GitHub
  A Haskell library for generating Ruby consumers of Servant APIs.
  ☆23Jan 14, 2026Updated last month
• elsen-trading / pgstream

  View on GitHub
  Binary streaming library for Postgres data pipelines
  ☆17Oct 2, 2019Updated 6 years ago
• true-grue / graph-irs

  View on GitHub
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆25Oct 22, 2023Updated 2 years ago
• sru-systems / protobuf-simple

  View on GitHub
  Protocol Buffers library for Haskell
  ☆22Jul 18, 2021Updated 4 years ago