GaloisInc / gec

Related projects: ⓘ

• GaloisInc / ivory-tower-stm32
  Tower backend and Ivory board support package for the STM32 line of microcontrollers
  ☆12Updated 7 months ago
• GaloisInc / LIMA
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Updated 6 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 4 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• GaloisInc / cryptol-semantics
  Semantics for Cryptol
  ☆16Updated 6 years ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆13Updated 7 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆38Updated last year
• GaloisInc / cryfsm
  convert simple cryptol expressions into finite-state machines
  ☆20Updated 7 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆14Updated 8 years ago
• GaloisInc / smaccmpilot-build
  An umbrella repository including all of the dependencies to build the smaccmpilot project
  ☆72Updated 7 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 3 months ago
• GaloisInc / estimator
  State-space estimation algorithms and models
  ☆26Updated 8 years ago
• Gabriel439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 5 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆30Updated 7 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 7 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 4 years ago
• sdiehl / cooking-generics
  http://www.stephendiehl.com/posts/generics.html
  ☆12Updated 8 years ago
• tathougies / generic-lens
  Automatically make lenses from data structures implementing Generic
  ☆26Updated 9 years ago
• lspitzner / multistate
  haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type
  ☆17Updated 2 years ago
• bobatkey / sorting-types
  Typed DSLs for sorting
  ☆19Updated 6 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆18Updated last week
• mathandley / RTick
  ☆20Updated this week
• IntelLabs / flrc-benchmarks
  Benchmarks for use with IntelLabs/flrc.
  ☆10Updated last year
• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆31Updated 2 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 5 months ago