scslab / cs240h-notesLinks
Stanford CS240h Class Notes -- Functional Systems in Haskell
☆27Updated 11 years ago
Alternatives and similar repositories for cs240h-notes
Users that are interested in cs240h-notes are comparing it to the libraries listed below
Sorting:
- Attempt to port All About Monads to HaskellWiki☆54Updated 8 years ago
- ☆93Updated 9 years ago
- The Haskell Refactoring Tool☆138Updated 6 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 12 years ago
- A fork of jhc. And also a Haskell compiler.☆136Updated 6 years ago
- A tutorial for using Emacs with Haskell projects☆42Updated 4 years ago
- Haskell Pretty-printer library☆75Updated 6 months ago
- A book on programming languages, using Haskell☆167Updated 4 years ago
- Haskell implementation of MessagePack / msgpack.org[Haskell]☆138Updated 2 years ago
- A tutorial to the Idris Programming Language.☆95Updated 10 years ago
- The Haskell Refactoring Tool☆138Updated 8 years ago
- Company-mode completion back-end for haskell-mode via ghc-mod☆125Updated 7 years ago
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Updated 10 years ago
- An emacs major mode for editing hamlet, lucius, and julius files☆36Updated 7 years ago
- Content for the www.yesodweb.com site☆67Updated this week
- ☆49Updated 13 years ago
- Complete raw OpenGL bindings for Haskell☆91Updated 3 weeks ago
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- Stack-based JSON interface to ide-backend☆98Updated 10 years ago
- Emacs mode for PureScript☆44Updated 8 years ago
- A collection of introductory tutorials on Haskell libraries☆42Updated 10 years ago
- A server interface to GHC.☆19Updated 11 years ago
- ncurses binding for Haskell☆63Updated 6 months ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 8 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 5 years ago
- ☆96Updated 11 years ago
- A parser for Python 2.x and 3.x written in Haskell☆160Updated 8 months ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 10 years ago
- Elaborate and expressive S-Expression library for Haskell☆65Updated last year