GaloisInc / ivory

Related projects ⓘ

Alternatives and complementary repositories for ivory

• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆365Updated last year
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 8 years ago
• fpco / inline-c
  ☆284Updated 9 months ago
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆374Updated 2 years ago
• tomahawkins / atom
  A DSL for embedded hard realtime applications.
  ☆270Updated 7 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆198Updated 4 years ago
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆243Updated this week
• keera-studios / keera-hails
  Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications
  ☆196Updated 2 years ago
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆418Updated 5 years ago
• takenobu-hs / haskell-ghc-illustrated
  haskell ghc-illustrated
  ☆260Updated 3 years ago
• githwxi / ATS-Postiats
  ATS2: Unleashing the Potentials of Types and Templates
  ☆353Updated 2 weeks ago
• haskell / c2hs
  c2hs is a pre-processor for Haskell FFI bindings to C libraries
  ☆198Updated 7 months ago
• haskell-foundation / foundation
  Empire strikes back
  ☆464Updated last year
• au-ts / cogent
  Cogent Project
  ☆158Updated last year
• compiling-to-categories / concat
  Compiling to Categories
  ☆436Updated 8 months ago
• kcsongor / generic-lens
  Generically derive traversals, lenses, and prisms.
  ☆437Updated 7 months ago
• sdiehl / tinyjit
  Haskell JIT
  ☆183Updated 4 years ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆279Updated 3 years ago
• idris-hackers / idris-koans
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆179Updated 6 years ago
• ziman / lightyear
  Parser combinators for Idris
  ☆238Updated 5 years ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆190Updated 6 years ago
• acid-state / acid-state
  Add ACID guarantees to any serializable Haskell data structure
  ☆294Updated 3 weeks ago
• deech / fltkhs
  Haskell bindings to FLTK GUI toolkit.
  ☆190Updated 2 years ago
• idris-hackers / idris-vim
  Idris mode for vim
  ☆220Updated 4 years ago
• ivanperez-keera / Yampa
  Functional Reactive Programming domain-specific language for efficient hybrid systems
  ☆449Updated last month
• liamoc / learn-you-an-agda
  Learn you an Agda (and achieve enlightenment)
  ☆314Updated 6 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆336Updated 4 months ago
• edwinb / Blodwen
  A prototype successor to Idris
  ☆539Updated 5 years ago
• leepike / Copilot
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆149Updated 5 years ago
• haskell-hint / hint
  Runtime Haskell interpreter
  ☆260Updated 2 months ago