hamishmack / ghcjs

Related projects: ⓘ

• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 10 years ago
• acowley / cabbage
  A tool for caching cabal builds in a Nix store
  ☆33Updated 8 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• agda / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆41Updated 9 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• rowanblush / saluton-hs-nix
  ☆28Updated this week
• jkarni / verdict
  ☆26Updated 8 years ago
• jgm / illuminate
  An efficient syntax highlighting library in Haskell, using alex-generated lexers
  ☆26Updated 13 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 3 months ago
• aaronlevin / nixos-cookbook
  Cookbook for working with Nix
  ☆14Updated 9 years ago
• adamgundry / inch
  A type-checker for Haskell with integer constraints
  ☆40Updated 9 years ago
• nominolo / scion
  OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine
  ☆179Updated 11 years ago
• chrisdone-archive / flo
  Generate flow charts from your code base.
  ☆15Updated 9 years ago
• jfeltz / dash-haskell
  dash docset builder for Haskell packages and cabal project dependencies
  ☆79Updated 4 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆45Updated 6 years ago
• isomorphism / hackage2
  Copy of the new Hackage server code
  ☆13Updated 12 years ago
• valderman / lambdascript
  Ugly prototype language for strongly typed, lazy, purely functional client side web scripting
  ☆25Updated 7 years ago
• luqui / data-memocombinators
  Pure memoization combinators for Haskell
  ☆37Updated 8 years ago
• johnfn / ghci-in-a-new-dress
  ghci with autocomplete, calltips, colors with type information, variable inspector, and more.
  ☆21Updated 12 years ago
• bmillwood / stepeval
  A program for evaluating a Haskell expression step-by-step
  ☆50Updated 7 years ago
• haskell / test-framework
  Framework for running and organising QuickCheck test properties and HUnit test cases
  ☆25Updated 3 months ago
• thoughtpolice / strict-ghc-plugin
  A plugin for GHC to turn Haskell into a strict language
  ☆27Updated 12 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 9 years ago
• ekmett / categories
  categories from category-extras
  ☆33Updated 4 years ago
• shachaf / ghc-core
  ☆39Updated 6 years ago
• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆72Updated 4 months ago