GaloisInc / HaLVMLinks
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
☆1,065Updated 7 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
- Cloud Haskell core libraries☆739Updated last week
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆633Updated 4 years ago
- Shell programming, Haskell style☆962Updated 2 months ago
- A streaming data library☆920Updated 5 months ago
- Type safe interface for working in subcategories of Hask☆419Updated 6 years ago
- The Ivory EDSL☆405Updated 5 years ago
- A GHC-based Haskell to JavaScript compiler☆1,511Updated 6 years ago
- Liquid Types For Haskell☆1,275Updated last week
- A style guide for Haskell code.☆963Updated 4 years ago
- A fast Haskell library for parsing ByteStrings☆526Updated last year
- Haskell Web Application Interface☆865Updated 3 weeks ago
- Haskell Research Compiler☆819Updated 3 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆374Updated 2 years ago
- A bare-bones calculus-of-constructions☆381Updated 3 years ago
- A proper subset of Haskell that compiles to JavaScript☆1,284Updated 4 years ago
- Shake build system☆793Updated 10 months ago
- Empire strikes back☆460Updated 2 years ago
- Library for functional reactive programming in Haskell.☆533Updated last month
- Industrial-strength monadic parser combinator library☆963Updated last week
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,074Updated last month
- A fast Haskell JSON library☆1,290Updated 2 months ago
- Software Foundations in Idris☆455Updated 6 years ago
- Repository for collaborative Haskell documentation☆207Updated 3 years ago
- A monadic parser combinator library☆879Updated 6 months ago
- Haskell LLVM JIT Compiler Tutorial☆1,044Updated 5 years ago
- The Haskell-Scriptable Editor☆1,535Updated last year
- Release with confidence, state-of-the-art property testing for Haskell.☆694Updated 2 months ago
- Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying val…☆1,099Updated last month
- A Haskell implementation of the Tor protocol.☆274Updated 8 years ago