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
• GaloisInc / LIMA
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Updated 6 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
• tolysz / c-mosquitto
  Simple Amazon IoT compatible client
  ☆13Updated 5 years ago
• GaloisInc / salty
  A DSL for generating GR(1) problems
  ☆11Updated 3 years ago
• basvandijk / threads
  Fork threads and wait for their result
  ☆27Updated last year
• sdiehl / cooking-generics
  http://www.stephendiehl.com/posts/generics.html
  ☆12Updated 9 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 6 years ago
• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆20Updated 7 years ago
• GaloisInc / estimator
  State-space estimation algorithms and models
  ☆27Updated 8 years ago
• GaloisInc / gidl
  Gidl: an Interface Description Language
  ☆10Updated 7 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆31Updated 8 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆40Updated 2 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• GaloisInc / smaccmpilot-stm32f4
  SMACCMPilot flight controller
  ☆32Updated 7 years ago
• haskell-distributed / distributed-process-async
  Cloud Haskell - Asynchronous Execution
  ☆18Updated 9 months ago
• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆31Updated 3 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 months ago
• mcschroeder / ctrie
  Non-blocking concurrent hashmap for Haskell
  ☆17Updated 7 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 5 months ago
• lambdacube3d / lambdacube-ir
  LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
  ☆8Updated last year
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated 2 years ago
• japesinator / tarts
  Timing attack resistant type systems
  ☆24Updated 10 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
• haskell / critbit
  A Haskell implementation of crit-bit trees.
  ☆138Updated 3 years ago