Alternatives and similar repositories for ivory

Users that are interested in ivory are comparing it to the libraries listed below

• GaloisInc / tower

  View on GitHub
  A concurrency framework for the Ivory language
  ☆45Oct 7, 2019Updated 6 years ago
• leepike / Copilot

  View on GitHub
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆152Mar 30, 2019Updated 6 years ago
• tomahawkins / atom

  View on GitHub
  A DSL for embedded hard realtime applications.
  ☆275May 15, 2017Updated 8 years ago
• Copilot-Language / copilot

  View on GitHub
  A stream-based runtime-verification framework for generating hard real-time C code.
  ☆798Jan 8, 2026Updated last month
• GaloisInc / HaLVM

  View on GitHub
  The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
  ☆1,066Dec 6, 2018Updated 7 years ago
• Shimuuar / histogram-fill

  View on GitHub
  Filling and manupulation with histograms
  ☆17Mar 10, 2025Updated 11 months ago
• LeventErkok / sbv

  View on GitHub
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆265Feb 8, 2026Updated last week
• fpco / inline-c

  View on GitHub
  ☆303Jun 9, 2025Updated 8 months ago
• nikita-volkov / base-prelude

  View on GitHub
  The most complete prelude formed only from the "base" package
  ☆29Oct 11, 2023Updated 2 years ago
• VinylRecords / Vinyl

  View on GitHub
  Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.
  ☆263Oct 28, 2023Updated 2 years ago
• well-typed / generics-sop

  View on GitHub
  Generic Programming using True Sums of Products
  ☆164Jan 7, 2026Updated last month
• aristidb / http-types

  View on GitHub
  Generic HTTP types for Haskell (for both client and server code)
  ☆55Nov 30, 2023Updated 2 years ago
• hunt-framework / hayoo

  View on GitHub
  Hackage search engine
  ☆56Feb 19, 2018Updated 7 years ago
• well-typed / cborg

  View on GitHub
  Binary serialisation in the CBOR format
  ☆207Oct 2, 2025Updated 4 months ago
• haskell / deepseq

  View on GitHub
  Deep evaluation of data structures
  ☆43Jun 14, 2025Updated 8 months ago
• parsonsmatt / rowdy

  View on GitHub
  A convenient DSL for describing web routes
  ☆42Nov 21, 2020Updated 5 years ago
• nebuta / d3js-haskell

  View on GitHub
  Haskell to D3.js binding by deep EDSL approach.
  ☆23Sep 20, 2014Updated 11 years ago
• monadfix / named

  View on GitHub
  Named parameters (keyword arguments) for Haskell
  ☆98Mar 16, 2025Updated 11 months ago
• GaloisInc / cryptol

  View on GitHub
  Cryptol: The Language of Cryptography
  ☆1,198Updated this week
• Gabriella439 / Haskell-Morte-Library

  View on GitHub
  A bare-bones calculus-of-constructions
  ☆383Sep 4, 2022Updated 3 years ago
• GaloisInc / cryptol-semantics

  View on GitHub
  Semantics for Cryptol
  ☆16Apr 9, 2018Updated 7 years ago
• mainland / language-c-quote

  View on GitHub
  ☆60Jul 2, 2024Updated last year
• nikita-volkov / refined

  View on GitHub
  Refinement types with static checking
  ☆192Dec 21, 2024Updated last year
• commercialhaskell / path

  View on GitHub
  Typed filepath
  ☆127Jan 16, 2025Updated last year
• ucsd-progsys / liquidhaskell

  View on GitHub
  Liquid Types For Haskell
  ☆1,288Updated this week
• noteed / language-glsl

  View on GitHub
  Haskell package for representation, parsing, and pretty-printing of GLSL
  ☆31Sep 19, 2023Updated 2 years ago
• GaloisInc / smaccmpilot-stm32f4

  View on GitHub
  SMACCMPilot flight controller
  ☆32Aug 11, 2017Updated 8 years ago
• discus-lang / ddc

  View on GitHub
  The Disco Discus Compiler
  ☆176Feb 6, 2019Updated 7 years ago
• edwinb / idris-php

  View on GitHub
  Yes, really...
  ☆175Aug 4, 2017Updated 8 years ago
• ekmett / exceptions

  View on GitHub
  mtl friendly exceptions
  ☆56Jan 21, 2026Updated 3 weeks ago
• ekmett / bytes

  View on GitHub
  Serialization primitives that work with both cereal and binary.
  ☆23Jan 10, 2026Updated last month
• kcsongor / generic-lens

  View on GitHub
  Generically derive traversals, lenses, and prisms.
  ☆440Aug 27, 2025Updated 5 months ago
• GaloisInc / saw-script

  View on GitHub
  The Software Analysis Workbench
  ☆488Updated this week
• reflex-frp / reflex

  View on GitHub
  Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying val…
  ☆1,103Updated this week
• nomeata / ghc-proofs

  View on GitHub
  Let GHC prove program equations for you
  ☆146Nov 4, 2018Updated 7 years ago
• stevenfontanella / microlens

  View on GitHub
  A lightweight (but compatible with ‘lens’) lenses library
  ☆297Sep 29, 2025Updated 4 months ago
• dorchard / type-level-sets

  View on GitHub
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Oct 21, 2025Updated 3 months ago
• jonascarpay / apecs

  View on GitHub
  a fast, extensible, type driven Haskell ECS framework for games
  ☆407Dec 26, 2025Updated last month
• rubik / argon

  View on GitHub
  Monitor cyclomatic complexity in Haskell programs
  ☆98Feb 21, 2019Updated 6 years ago