whitewinterr / syshook

Related projects: ⓘ

• hierarcc / meowler
  ☆12Updated this week
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆418Updated 5 years ago
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆191Updated 8 years ago
• lukexi / halive
  Live recompiler for Haskell
  ☆263Updated 3 years ago
• nikita-volkov / record
  Anonymous records
  ☆245Updated 5 years ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆363Updated last year
• sdiehl / wasm
  Haskell compiler infastructure for WebAssembly
  ☆358Updated 6 years ago
• snowleopard / hadrian
  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
  ☆208Updated 5 years ago
• fpco / inline-c
  ☆284Updated 8 months ago
• zfoh / HaskellerZ
  Notes and files from HaskellerZ meetups.
  ☆212Updated 4 years ago
• haskell / containers
  Assorted concrete container types
  ☆315Updated last week
• haskell / criterion
  A powerful but simple library for measuring the performance of Haskell code.
  ☆501Updated 4 months ago
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆373Updated 2 years ago
• tobbebex / GPipe-Core
  Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
  ☆157Updated last year
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆240Updated this week
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆567Updated last year
• ajtulloch / deeplearning-hs
  ☆53Updated 8 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 8 years ago
• well-typed / cborg
  Binary serialisation in the CBOR format
  ☆188Updated last month
• bscarlet / llvm-general
  Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)
  ☆132Updated 7 years ago
• simonmar / par-tutorial
  A tutorial on Parallel and Concurrent Haskell
  ☆219Updated 11 years ago
• harpocrates / inline-rust
  Use snippets of Rust inline in your Haskell programs
  ☆223Updated 3 years ago
• haskell-distributed / distributed-process
  Cloud Haskell core libraries
  ☆709Updated last week
• imeckler / mote
  ☆116Updated 9 years ago
• lehins / massiv
  Efficient Haskell Arrays featuring Parallel computation
  ☆384Updated 3 weeks ago
• theam / haskell-do
  - The Haskell code editor focused on interactive development.
  ☆351Updated 6 years ago
• takenobu-hs / haskell-ghc-illustrated
  haskell ghc-illustrated
  ☆258Updated 3 years ago
• haskell-unordered-containers / unordered-containers
  Efficient hashing-based container types
  ☆221Updated 4 months ago
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆557Updated last month
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆140Updated 7 years ago