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
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 8 years ago
• GaloisInc / gec
  Embedded-friendly crypto a la SMACCM
  ☆12Updated 7 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆40Updated 2 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 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
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated 2 years ago
• GaloisInc / LIMA
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Updated 6 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 10 months ago
• bgamari / hoogle-index
  Easily generate Hoogle indices for installed packages
  ☆25Updated 9 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 7 years ago
• fmthoma / functional-data-structures-talk
  ☆15Updated 8 years ago
• tathougies / generic-lens
  Automatically make lenses from data structures implementing Generic
  ☆26Updated 10 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• GaloisInc / nasa-affirm
  Architectural Framework For Integrated Refinement Modeling
  ☆11Updated 8 years ago
• thsutton / rawr
  Roaring bitmaps in Haskell
  ☆13Updated 6 years ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆59Updated last year
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 7 years ago
• ekmett / rounded
  MPFR bindings for Haskell
  ☆34Updated last year
• ekmett / charset
  fast utf-8 character sets
  ☆13Updated 3 months ago
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 6 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• commercialhaskell / stackage-content
  Content for the stackage.org site
  ☆10Updated last month
• wenkokke / unlit
  Tool to convert literate code between styles or to code.
  ☆11Updated 6 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated last year
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago