Alternatives and similar repositories for satplus

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

• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• valderman / ghc-simple
  Simplified interface to the GHC API
  ☆22Updated 6 years ago
• nomeata / ghcjs2gh-pages
  Example repository setup that deploys GHCJS programs to GitHub Pages
  ☆23Updated 6 years ago
• glguy / generic-traverse
  Demonstration for how to build "traverse" using GHC.Generics efficiently
  ☆22Updated 6 years ago
• soenkehahn / generics-eot
  A library for generic programming that aims to be easy to understand
  ☆26Updated 3 months ago
• gelisam / conway
  Demonstrating comonad transformers.
  ☆37Updated 8 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 7 years 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 3 months ago
• cstrahan / hs-capnp
  This will, one day, be a Haskell implementation of Cap'n Proto.
  ☆11Updated 9 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• emilaxelsson / ho-rewriting
  A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
  ☆12Updated 6 years ago
• nh2 / hackage-download
  Script to download all of Hackage
  ☆15Updated 5 years ago
• plow-technologies / ghcjs-servant-client
  A servant client written for GHCJS
  ☆12Updated 8 years ago
• haskell-backpack / backpack-str
  The Str signature and implementations
  ☆21Updated 8 years ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 3 years ago
• diagrams / diagrams-reflex
  ☆21Updated 2 years ago
• isovector / constraints-emerge
  📤 defer instance resolution until runtime
  ☆18Updated 5 years ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 2 months ago
• quchen / stackalone
  Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed
  ☆10Updated 8 years ago
• athanclark / cassowary-haskell
  A haskell implementation of the Cassowary linear programming solver.
  ☆23Updated 4 years ago
• chessai / eigen
  Haskell bindings to the Eigen C++ library
  ☆16Updated last year
• zerobuzz / configifier
  parser for config files, shell variables, command line args.
  ☆22Updated 8 years ago
• puffnfresh / leftpad.hs
  Verified left pad
  ☆19Updated 7 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆25Updated 4 years ago
• yav / dump-core
  ☆45Updated 3 years ago
• mikeizbicki / typeparams
  Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation
  ☆41Updated 10 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 3 years ago
• ocramz / trie-perf
  Performance shootout of various trie implementations
  ☆18Updated 6 years ago
• covid-db / covid-scrapers
  ☆13Updated 5 years ago
• deech / fltkhs-reflex-host
  Port of the 'host' example in try-reflex to FLTKHS.
  ☆12Updated 7 years ago