Alternatives and similar repositories for specifica:

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

• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 2 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 6 months ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆32Updated 2 years ago
• yav / simple-smt
  ☆21Updated 2 months ago
• bgamari / io-uring
  A simple set of io-uring bindings in Haskell
  ☆28Updated 4 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆26Updated 4 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 3 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆54Updated 2 weeks ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆36Updated 2 weeks ago
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated 2 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 7 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 8 months ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆60Updated last year
• frex-project / haskell-frex
  ☆23Updated last year
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 12 years ago
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 4 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 5 months ago
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 3 years ago
• hanshoglund / iso-deriving
  Derive instances through isomorphisms
  ☆20Updated 8 months ago
• pigworker / Samizdat
  being bits and pieces I'm inclined to leave lying around
  ☆49Updated 2 months ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆64Updated last year
• pigworker / ProgrammerCommaCon
  being a collection of Agda-facilitated ramblings
  ☆33Updated 4 years ago
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 6 years ago
• grin-compiler / ghc-wpc
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…
  ☆10Updated last year
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆41Updated last week
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 weeks ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆50Updated last year
• david-christiansen / derive-all-the-instances
  Work on type class deriving with elaboration reflection
  ☆32Updated 6 years ago