MedeaMelana / JsonGrammar

Related projects: ⓘ

• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• jkarni / verdict
  ☆26Updated 8 years ago
• thoughtpolice / vacuum
  DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.
  ☆19Updated 8 years ago
• aaronlevin / nixos-cookbook
  Cookbook for working with Nix
  ☆14Updated 9 years ago
• nfjinjing / nemesis
  ☆14Updated this week
• chrisdone / present
  Make presentations for data types
  ☆25Updated 2 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 3 months ago
• jberryman / chan-benchmarks
  Criterion benchmarks for the different haskell concurrent channel implementations in base and stm
  ☆17Updated 10 years ago
• acowley / cabbage
  A tool for caching cabal builds in a Nix store
  ☆33Updated 8 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆52Updated 8 years ago
• jgm / illuminate
  An efficient syntax highlighting library in Haskell, using alex-generated lexers
  ☆26Updated 13 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆26Updated 3 years ago
• abhinav / sandman
  Cabal Sandbox manager
  ☆14Updated 8 years ago
• jwiegley / linearscan
  ☆17Updated 2 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• rowanblush / saluton-hs-nix
  ☆28Updated this week
• reinh / haskell-wishlist
  A curated wishlist of Haskell libraries, packages, and tools
  ☆16Updated 8 years ago
• ggreif / dynamic-loader
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Updated 6 years ago
• YellPika / effin
  A Typeable-free implementation of extensible effects
  ☆26Updated 7 years ago
• chrisdone / gitback
  ☆10Updated this week
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 8 years ago
• deech / lambdaconf-shen-talk
  ☆14Updated 8 years ago
• atzeus / type-aligned
  Various type-aligned sequence data structures.
  ☆20Updated 3 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• mitchellwrosen / dohaskell
  Tagged Haskell learning resources index
  ☆22Updated 8 years ago
• chrisdone-archive / flo
  Generate flow charts from your code base.
  ☆15Updated 9 years ago
• christian-marie / roundtrip-aeson
  Parse/unparse JSON with roundtrip invertible syntax descriptions.
  ☆17Updated 5 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆45Updated 6 years ago