Alternatives and similar repositories for ivory-tower-stm32:

Users that are interested in ivory-tower-stm32 are comparing it to the libraries listed below

• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• GaloisInc / gec
  Embedded-friendly crypto a la SMACCM
  ☆12Updated 7 years ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 8 years ago
• thsutton / rawr
  Roaring bitmaps in Haskell
  ☆13Updated 6 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆39Updated 2 years ago
• GaloisInc / LIMA
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Updated 6 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated last year
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• sdiehl / cooking-generics
  http://www.stephendiehl.com/posts/generics.html
  ☆12Updated 9 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
• Copilot-Language / copilot-language
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆15Updated 4 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆31Updated 8 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 6 years ago
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 6 years ago
• tomahawkins / improve
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Updated 13 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 weeks ago
• spacekitteh / haskell-clifford
  Clifford algebra for Haskell! :D
  ☆15Updated 10 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 3 years ago
• m0ar / safe-streaming
  Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
  ☆47Updated 7 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 6 months ago
• byteverse / colonnade
  Generic types and functions for encoding and decoding columns
  ☆43Updated 4 months ago
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆19Updated 6 years ago
• commercialhaskell / stackage-content
  Content for the stackage.org site
  ☆10Updated last week
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 3 months ago
• soenkehahn / dead-code-detection
  ☆25Updated 8 years ago
• ekmett / charset
  fast utf-8 character sets
  ☆13Updated 3 weeks ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆46Updated last year
• tolysz / c-mosquitto
  Simple Amazon IoT compatible client
  ☆13Updated 5 years ago