Alternatives and similar repositories for fphistoryru:

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

• klapaucius / vector-hashtables
  ☆34Updated 11 months ago
• qnikst / ghc-timings-report
  Experimental tool to build reports on GHC build time for your projects.
  ☆24Updated 2 years ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated 2 years ago
• haskellfoundation / volunteering
  Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.
  ☆26Updated 2 years ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆31Updated 4 years ago
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆50Updated last week
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆36Updated last month
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 2 years ago
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆81Updated 3 weeks ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 3 weeks ago
• well-typed / recover-rtti
  Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
  ☆35Updated 2 weeks ago
• Bodigrim / tasty-bench-fit
  Benchmark a given function for variable input sizes and find out its time complexity
  ☆25Updated 3 weeks ago
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 3 years ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆45Updated last year
• haskell-debugger / haskell-estgi-debugger
  A modern Haskell debugger
  ☆30Updated last year
• sequents / code
  Proof theory seminar
  ☆33Updated 3 years ago
• nomeata / cabal-plan-bounds
  Calculate Haskell dependency ranges from multiple build plans
  ☆31Updated 10 months ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 4 months ago
• well-typed / large-records
  Library to support efficient compilation of large records (linear in the number of record fields)
  ☆46Updated 2 weeks ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆15Updated 7 months ago
• kokobd / cabal-hoogle
  ☆35Updated 2 months ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• jespercockx / agda2scheme
  Compiler backend for generating Scheme code
  ☆27Updated last year
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated 2 years ago
• shapr / kudzu
  coverage driven random testing framework
  ☆23Updated 4 months ago
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 4 years ago
• brandonchinn178 / string-syntax
  ☆17Updated this week
• cdepillabout / post-about-nix-and-haskell
  ☆29Updated 5 years ago
• well-typed / hs-bindgen
  Automatically generate Haskell bindings from C header files
  ☆38Updated this week