GaloisInc / HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
☆1,057Updated 6 years ago
Alternatives and similar repositories for HaLVM:
Users that are interested in HaLVM are comparing it to the libraries listed below
- Shell programming, Haskell style☆951Updated 10 months ago
- Type safe interface for working in subcategories of Hask☆420Updated 5 years ago
- Cloud Haskell core libraries☆724Updated 3 weeks ago
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆634Updated 4 years ago
- A special interest group for companies and individuals interested in commercial usage of Haskell☆457Updated 2 years ago
- A style guide for Haskell code.☆960Updated 3 years ago
- A GHC-based Haskell to JavaScript compiler☆1,442Updated 6 years ago
- Empire strikes back☆464Updated last year
- Liquid Types For Haskell☆1,230Updated last week
- A declarative, type-safe UI library for PureScript.☆1,552Updated 6 months ago
- Industrial-strength monadic parser combinator library☆940Updated 2 months ago
- Haskell API search engine☆763Updated last week
- The Ivory EDSL☆398Updated 5 years ago
- 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 …☆730Updated 2 months ago
- ☆1,008Updated 5 years ago
- A proper subset of Haskell that compiles to JavaScript☆1,283Updated 3 years ago
- A streaming data library☆911Updated 2 weeks ago
- Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying val…☆1,083Updated 3 weeks ago
- One-line Haskell Vim install☆989Updated 4 years ago
- Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and …☆461Updated 8 months ago
- Very low feature GHCi based IDE☆1,151Updated last year
- Haskell Web Application Interface☆848Updated 2 weeks ago
- Miscellaneous articles. The readme is the table of contents.☆1,259Updated last year
- A fast Haskell library for parsing ByteStrings☆520Updated 3 months ago
- higher-order, no-boilerplate monads☆1,041Updated 2 weeks ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,169Updated 11 months ago
- An axiom-free formalization of category theory in Coq for personal study and practical work☆768Updated last week
- Functional programming with fewer indirections☆760Updated 4 years ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆694Updated last week
- Software Foundations in Idris☆454Updated 5 years ago