GaloisInc / gec

Related projects ⓘ

Alternatives and complementary repositories for gec

• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆20Updated 7 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• GaloisInc / ivory-tower-stm32
  Tower backend and Ivory board support package for the STM32 line of microcontrollers
  ☆12Updated 9 months ago
• GaloisInc / LIMA
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Updated 6 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 7 years ago
• sdiehl / cooking-generics
  http://www.stephendiehl.com/posts/generics.html
  ☆12Updated 8 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• GaloisInc / cryptol-semantics
  Semantics for Cryptol
  ☆16Updated 6 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 5 months ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 6 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 4 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆14Updated 9 years ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 8 years ago
• lthms / chain
  Extensible, Type Safe Error Handling in Haskell
  ☆13Updated 3 years ago
• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 5 years ago
• bobatkey / sorting-types
  Typed DSLs for sorting
  ☆19Updated 6 years ago
• basvandijk / threads
  Fork threads and wait for their result
  ☆27Updated last year
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆44Updated last year
• PaulGustafson / stringnet
  A Haskell library for calculating with quantum mapping class group representations
  ☆9Updated 2 years ago
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆15Updated 3 years ago
• acowley / BostonHaskell2015
  [Talk] Framing the Discussion with EDSLs
  ☆9Updated 9 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 9 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• csabahruska / jhc-grin
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Updated 5 years ago