hierarcc / meowler

Related projects: ⓘ

• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆191Updated 8 years ago
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆418Updated 5 years ago
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆240Updated this week
• ajtulloch / deeplearning-hs
  ☆53Updated 8 years ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,019Updated last year
• lukexi / halive
  Live recompiler for Haskell
  ☆263Updated 3 years ago
• sdiehl / wasm
  Haskell compiler infastructure for WebAssembly
  ☆358Updated 6 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
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆373Updated 2 years ago
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆567Updated last year
• tobbebex / GPipe-Core
  Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
  ☆157Updated last year
• 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
• zfoh / HaskellerZ
  Notes and files from HaskellerZ meetups.
  ☆212Updated 4 years ago
• haskell / criterion
  A powerful but simple library for measuring the performance of Haskell code.
  ☆501Updated 4 months ago
• haskell / containers
  Assorted concrete container types
  ☆315Updated last week
• lehins / massiv
  Efficient Haskell Arrays featuring Parallel computation
  ☆384Updated 3 weeks ago
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆501Updated 2 months ago
• edwinb / Blodwen
  A prototype successor to Idris
  ☆539Updated 5 years ago
• GaloisInc / haskell-tor
  A Haskell implementation of the Tor protocol.
  ☆270Updated 6 years ago
• agentm / project-m36
  Project: M36 Relational Algebra Engine
  ☆888Updated last week
• JPMoresmau / rnn
  playing with recurrent neural networks
  ☆28Updated 8 years ago
• theam / haskell-do
  - The Haskell code editor focused on interactive development.
  ☆351Updated 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
• mightybyte / monad-challenges
  A set of challenges for jump starting your understanding of monads.
  ☆323Updated 3 years ago
• polysemy-research / polysemy
  higher-order, no-boilerplate monads
  ☆1,033Updated 2 months ago
• adjoint-io / merkle-tree
  ☆128Updated this week
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆944Updated this week
• harpocrates / inline-rust
  Use snippets of Rust inline in your Haskell programs
  ☆223Updated 3 years ago
• type-theory / type-theory-study-group
  Resources for the online Type Theory Study Group
  ☆161Updated 6 years ago