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
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• GaloisInc / LIMA
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Updated 6 years ago
• thsutton / rawr
  Roaring bitmaps in Haskell
  ☆13Updated 6 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆31Updated 8 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• GaloisInc / halfs
  The Haskell File System: A file system implementation in Haskell
  ☆38Updated 9 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 last year
• m0ar / safe-streaming
  Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
  ☆47Updated 7 years ago
• grin-compiler / ghc-wpc
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…
  ☆10Updated last year
• ekmett / speculation
  Safe, programmable, speculative evaluation for Haskell
  ☆29Updated 6 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 8 months ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• haskell / entropy
  Easy entropy source for Haskell users.
  ☆24Updated 3 months ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 6 years ago
• ghcjs / shims
  GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2
  ☆20Updated 5 years ago
• conal / convolution-paper
  Generalized Convolution and Efficient Language Recognition
  ☆17Updated 5 years ago
• IntelLabs / flrc-benchmarks
  Benchmarks for use with IntelLabs/flrc.
  ☆10Updated 2 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 7 months ago
• bgamari / hoogle-index
  Easily generate Hoogle indices for installed packages
  ☆25Updated 9 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 3 months ago
• fmthoma / functional-data-structures-talk
  ☆15Updated 7 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• ekmett / rounded
  MPFR bindings for Haskell
  ☆34Updated last year
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 6 years ago