Alternatives and similar repositories for fpl-exploration-tool

Users that are interested in fpl-exploration-tool are comparing it to the libraries listed below

• pietervdvn / ALGT2

  View on GitHub
  ALGT 2.0
  ☆30Dec 23, 2019Updated 6 years ago
• mxswd / webcloud

  View on GitHub
  Turn an optparse-applicative program into a CGI program!
  ☆35Feb 19, 2020Updated 5 years ago
• bitonic / tog

  View on GitHub
  ☆26Feb 7, 2017Updated 9 years ago
• ziman / ttstar

  View on GitHub
  Dependently typed core calculus with erasure
  ☆19Aug 31, 2021Updated 4 years ago
• haskell-haskey / haskey-btree

  View on GitHub
  B+-tree implementation in Haskell
  ☆28May 12, 2019Updated 6 years ago
• aherrmann / simply_llvm

  View on GitHub
  ☆41Jul 2, 2017Updated 8 years ago
• lpsmith / configurator-ng

  View on GitHub
  A Haskell library supporting flexible, dynamic file-based configuration.
  ☆16May 15, 2019Updated 6 years ago
• bollu / simplexhc

  View on GitHub
  compiler with polyhedral optmization for a lazy functional programming language
  ☆68Oct 8, 2017Updated 8 years ago
• dbp / howtoprovefullabstraction

  View on GitHub
  Writeup that goes along with this:
  ☆16Apr 19, 2018Updated 7 years ago
• phadej / vec

  View on GitHub
  Nat, Fin, Vec
  ☆25May 2, 2025Updated 9 months ago
• dalaing / type-systems

  View on GitHub
  ☆23Aug 30, 2017Updated 8 years ago
• rampion / conkin

  View on GitHub
  Tools for functors from Hask^k to Hask
  ☆23Aug 25, 2019Updated 6 years ago
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• lepoetemaudit / alpaca-repl

  View on GitHub
  An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM
  ☆10Jun 7, 2017Updated 8 years ago
• joelburget / easytest

  View on GitHub
  Simple testing toolkit
  ☆10May 28, 2021Updated 4 years ago
• rampion / kinder-functor

  View on GitHub
  An alternate definition of Haskell's Functor typeclass
  ☆42Jun 18, 2019Updated 6 years ago
• jaseemabid / lisper

  View on GitHub
  A tiny scheme interpreter in Haskell
  ☆24Jul 14, 2019Updated 6 years ago
• edsko / stack2cabal

  View on GitHub
  ☆14Apr 17, 2022Updated 3 years ago
• NorfairKing / zifter

  View on GitHub
  Composable code-quality tools
  ☆13Jun 22, 2018Updated 7 years ago
• gergoerdi / hm-compo

  View on GitHub
  Compositional type checking for a Hindley-Milner type system
  ☆11Mar 28, 2017Updated 8 years ago
• lthms / chain

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

  View on GitHub
  Type-Theory in Sequent Calculus
  ☆14Jul 30, 2015Updated 10 years ago
• artemohanjanyan / tt-conspect

  View on GitHub
  Notes for type theory course
  ☆21Jan 11, 2019Updated 7 years ago
• sellout / dualizer

  View on GitHub
  Delete half (minus ε) of your Haskell code!
  ☆30Feb 3, 2026Updated last week
• cobbpg / hp2any

  View on GitHub
  Haskell space profiling toolset
  ☆14Nov 7, 2018Updated 7 years ago
• pepeiborra / term

  View on GitHub
  Term Rewriting Systems
  ☆17Nov 7, 2015Updated 10 years ago
• benweitzman / servant-named

  View on GitHub
  ☆13Feb 2, 2017Updated 9 years ago
• ezyang / deepseq-magic

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

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

  View on GitHub
  A collection of computational methods in science.
  ☆12Jan 6, 2017Updated 9 years ago
• AndrasKovacs / pny1-assignment

  View on GitHub
  College assignment writing in which I ramble about type classes and dependent types.
  ☆12Dec 11, 2020Updated 5 years ago
• gergoerdi / syntactic-stlc

  View on GitHub
  Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)
  ☆13Nov 19, 2017Updated 8 years ago
• ndmitchell / neil

  View on GitHub
  General tools for Neil
  ☆38Feb 2, 2025Updated last year
• ayberkt / sml-system-t

  View on GitHub
  SML implementation of System T from PFPL.
  ☆11Jun 28, 2017Updated 8 years ago
• psibi / stackgo

  View on GitHub
  Browser plugin to automatically redirect Hackage library pages to Stackage pages.
  ☆15Jun 24, 2017Updated 8 years ago
• adnelson / nix-binary-cache

  View on GitHub
  Haskell implementation of a nix binary cache and client.
  ☆13Jan 4, 2018Updated 8 years ago
• jcmincke / Blast

  View on GitHub
  A Distributed Computing Library in Haskell
  ☆52Jun 9, 2017Updated 8 years ago
• 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
• paf31 / partial

  View on GitHub
  A nullary type class for partial functions
  ☆15Nov 28, 2017Updated 8 years ago