GaloisInc / ivory-tower-stm32
Tower backend and Ivory board support package for the STM32 line of microcontrollers
☆12Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for ivory-tower-stm32
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- 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 9 months ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 3 years ago
- fast utf-8 character sets☆13Updated 3 weeks ago
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- http://www.stephendiehl.com/posts/generics.html☆12Updated 8 years ago
- Library and macros to simplify writing Haskell FFI code☆39Updated last year
- Easily generate Hoogle indices for installed packages☆25Updated 8 years ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 weeks ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- ELF data structures for Haskell☆24Updated last year
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- An Ivory library inspired by Atom☆14Updated 8 years ago
- Content for the stackage.org site☆10Updated 3 weeks ago
- Simple Amazon IoT compatible client☆13Updated 5 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 2 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆15Updated 2 months ago
- CLI tool for Hackage☆26Updated 4 months ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- ☆15Updated 7 years ago
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆59Updated 9 years ago
- A human readable style for binary data.☆11Updated 4 years ago
- ☆18Updated 2 years ago
- Read ghc-core with style. javascript and CSS style.☆13Updated 9 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago