Alternatives and similar repositories for gec

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

• GaloisInc / ivory-tower-stm32
  Tower backend and Ivory board support package for the STM32 line of microcontrollers
  ☆12Updated last year
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 8 years ago
• GaloisInc / LIMA
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Updated 6 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 5 years ago
• GaloisInc / gidl
  Gidl: an Interface Description Language
  ☆10Updated 7 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆39Updated 2 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆15Updated 4 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 8 years ago
• SkySkimmer / HoTTClasses
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆15Updated 4 years ago
• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated last year
• GaloisInc / smaccmpilot-build
  An umbrella repository including all of the dependencies to build the smaccmpilot project
  ☆74Updated 7 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆138Updated 3 years ago
• GaloisInc / cryptol-semantics
  Semantics for Cryptol
  ☆16Updated 7 years ago
• mcschroeder / ctrie
  Non-blocking concurrent hashmap for Haskell
  ☆17Updated 7 years ago
• GaloisInc / lean-haskell-bindings
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆21Updated 7 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 4 months ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• djv / VisualProf
  http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot
  ☆59Updated 9 years ago
• kcsongor / register-machine-type
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Updated 9 years ago
• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆20Updated 7 years ago
• blitzcode / ghc-stack
  Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)
  ☆69Updated 11 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• Gabriella439 / Haskell-MMorph-Library
  Monad morphisms
  ☆50Updated 2 years ago
• ekmett / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆9Updated 2 years ago