iquiw / cabal-delete

Related projects: ⓘ

• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated 7 months ago
• mrb / idris-ruby
  Yes, really!
  ☆11Updated 9 years ago
• GaloisInc / json
  Haskell JSON library
  ☆27Updated last year
• gregwebs / haskell-heroku
  Haskell helpers for deploying to Heroku
  ☆18Updated 9 years ago
• 23Skidoo / pointful
  Stand-alone command-line version of the pointful plugin for Lambdabot.
  ☆26Updated last year
• purcell / adventofcode2016
  Advent of Code 2016, in Haskell
  ☆15Updated 6 years ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆27Updated 8 years ago
• david-christiansen / idris-code-highlighter
  A semantic highlighter for Idris code
  ☆14Updated 6 years ago
• bos / snappy
  Fast Haskell bindings to Google's Snappy compression library
  ☆31Updated last year
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆18Updated 6 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 7 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 8 years ago
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆31Updated last month
• fpco / schoolofhaskell.com
  ☆16Updated 4 years ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆14Updated this week
• fujimura / houseman
  A Haskell implementation of Foreman
  ☆24Updated 3 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 3 months ago
• puffnfresh / tryidris
  Try Idris
  ☆36Updated 9 years ago
• haskell-hvr / rss
  A library for generating RSS 2.0 feeds.
  ☆18Updated 2 months ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago
• kellino / microML
  a simple functional language for learners
  ☆30Updated 7 years ago
• dreixel / generic-deriving
  ☆44Updated 6 months ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 2 weeks ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆35Updated 5 years ago
• ndmitchell / ghc-make
  An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.
  ☆40Updated 2 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 5 years ago
• takenobu-hs / type-introduction-illustrated
  Haskell type introduction illustrated
  ☆17Updated 7 years ago
• bmillwood / haskell-src-meta
  Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
  ☆27Updated 10 months ago
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated 4 months ago