GaloisInc / HaLVMLinks
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
☆1,065Updated 6 years ago
Alternatives and similar repositories for HaLVM
Users that are interested in HaLVM are comparing it to the libraries listed below
Sorting:
- A special interest group for companies and individuals interested in commercial usage of Haskell☆460Updated 2 years ago
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆635Updated 4 years ago
- Shell programming, Haskell style☆957Updated 2 months ago
- The Ivory EDSL☆400Updated 5 years ago
- Cloud Haskell core libraries☆735Updated last week
- Type safe interface for working in subcategories of Hask☆419Updated 6 years ago
- A GHC-based Haskell to JavaScript compiler☆1,444Updated 6 years ago
- A streaming data library☆921Updated 2 months ago
- Liquid Types For Haskell☆1,256Updated this week
- The Haskell-Scriptable Editor☆1,531Updated 10 months ago
- A style guide for Haskell code.☆964Updated 3 years ago
- Industrial-strength monadic parser combinator library☆952Updated last week
- Haskell Research Compiler☆819Updated 2 years ago
- Haskell JIT☆185Updated 5 years ago
- A proper subset of Haskell that compiles to JavaScript☆1,284Updated 4 years ago
- Haskell Web Application Interface☆860Updated last week
- A bare-bones calculus-of-constructions☆380Updated 3 years ago
- Empire strikes back☆461Updated 2 years ago
- A Haskell implementation of the Tor protocol.☆273Updated 7 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆371Updated 2 years ago
- Library for functional reactive programming in Haskell.☆533Updated 8 months ago
- A comprehensive Amazon Web Services SDK for Haskell.☆613Updated 2 months ago
- A monadic parser combinator library☆874Updated 2 months ago
- A fast Haskell library for parsing ByteStrings☆526Updated 8 months ago
- Software Foundations in Idris☆455Updated 6 years ago
- Shake build system☆786Updated 7 months ago
- A fast Haskell JSON library☆1,289Updated last month
- A curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. reflex-platform is …☆739Updated last month
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆258Updated this week
- A declarative, type-safe UI library for PureScript.☆1,568Updated 11 months ago