Alternatives and similar repositories for gec

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

• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 9 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 14 years ago
• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆21Updated 8 years ago
• elsen-trading / pgstream
  Binary streaming library for Postgres data pipelines
  ☆17Updated 6 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• GaloisInc / RSA
  Haskell RSA Library
  ☆21Updated 4 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆45Updated 6 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 9 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆32Updated 4 years ago
• leepike / Copilot
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆152Updated 6 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆27Updated 11 years ago
• GaloisInc / HaNS
  The haskell network stack
  ☆118Updated 7 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆55Updated 4 years ago
• GaloisInc / smaccmpilot-build
  An umbrella repository including all of the dependencies to build the smaccmpilot project
  ☆74Updated 8 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Updated 10 years ago
• GaloisInc / elf-edit
  The elf-edit library provides a datatype suitable for reading and writing Elf files.
  ☆40Updated 5 months ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• haskell-github-trust / crypto-api
  Haskell generic interface (type classes) for cryptographic algorithms
  ☆29Updated 8 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• GaloisInc / smaccmpilot-stm32f4
  SMACCMPilot flight controller
  ☆32Updated 8 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• GaloisInc / estimator
  State-space estimation algorithms and models
  ☆28Updated 9 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆84Updated 11 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 9 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• GaloisInc / LIMA
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Updated 7 years ago
• rocq-community / coqeal
  The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
  ☆74Updated 3 months 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
• GaloisInc / cryptol-semantics
  Semantics for Cryptol
  ☆16Updated 7 years ago