The Ivory EDSL
☆417Feb 21, 2020Updated 6 years ago
Alternatives and similar repositories for ivory
Users that are interested in ivory are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A concurrency framework for the Ivory language☆45Oct 7, 2019Updated 7 years ago
- A DSL for embedded hard realtime applications.☆277May 15, 2017Updated 9 years ago
- A (Haskell DSL) stream language for generating hard real-time C code.☆153Mar 30, 2019Updated 7 years ago
- The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen☆1,069Dec 6, 2018Updated 7 years ago
- Networks of composable stream transducers☆340Mar 3, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The haskell network stack☆117Jan 16, 2018Updated 8 years ago
- Convert lambda expressions to CCC combinators☆150Feb 23, 2016Updated 10 years ago
- A Smarter QuickCheck☆102Aug 11, 2017Updated 9 years ago
- An umbrella repository including all of the dependencies to build the smaccmpilot project☆75Aug 11, 2017Updated 9 years ago
- ☆66Jul 19, 2025Updated last year
- A stream-based runtime-verification framework for generating hard real-time C code.☆839Oct 18, 2026Updated 2 weeks ago
- Cryptol: The Language of Cryptography☆1,226Updated this week
- Generic Programming using True Sums of Products☆166Jan 7, 2026Updated 9 months ago
- A user-centric visual STG implementation to help understand GHC/Haskell's execution model.☆536Jun 8, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A bare-bones calculus-of-constructions☆385Sep 4, 2022Updated 4 years ago
- A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API☆136Dec 2, 2021Updated 4 years ago
- SMACCMPilot flight controller☆32Aug 11, 2017Updated 9 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆150Sep 30, 2021Updated 5 years ago
- A Dependently Typed Functional Programming Language☆3,478Feb 17, 2025Updated last year
- Cloud Haskell core libraries☆755Oct 22, 2026Updated last week
- Type-level sets for Haskell (with value-level counterparts and various operations)☆65May 12, 2026Updated 5 months ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆269Updated this week
- Liquid Types For Haskell☆1,335Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The Disco Discus Compiler☆176Feb 6, 2019Updated 7 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Jun 25, 2022Updated 4 years ago
- Generic Network.Transport API☆41Sep 3, 2024Updated 2 years ago
- A message-passing library, intended for simplifying network applications☆44Apr 7, 2018Updated 8 years ago
- Implementation of cryptographic primitives using Idris☆121May 5, 2018Updated 8 years ago
- Arduino programming without the hassle of C.☆249Apr 23, 2019Updated 7 years ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 7 years ago
- A Haskell implementation of the Tor protocol.☆275Nov 3, 2017Updated 8 years ago
- Haskell to VHDL/Verilog/SystemVerilog compiler☆1,625Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆307Jun 9, 2025Updated last year
- Let GHC prove program equations for you☆145Nov 4, 2018Updated 7 years ago
- A structured logging framework for Haskell☆215Sep 3, 2025Updated last year
- A lightweight (but compatible with ‘lens’) lenses library☆298Sep 29, 2025Updated last year
- Fast binary serialization in Haskell☆110Jun 10, 2026Updated 4 months ago
- Binary serialisation in the CBOR format☆209May 13, 2026Updated 5 months ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago