mchakravarty / lets-programLinks
Let's program! Get into programming writing a simple game.
☆75Updated 11 years ago
Alternatives and similar repositories for lets-program
Users that are interested in lets-program are comparing it to the libraries listed below
Sorting:
- Slides & demos for talks I do☆58Updated 4 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Hackage search engine☆56Updated 7 years ago
- A functional web framework☆34Updated 3 years ago
- 2048 in Idris☆123Updated 7 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- A collection of introductory tutorials on Haskell libraries☆42Updated 9 years ago
- ☆33Updated 9 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆45Updated last year
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Server for stable, curated Haskell package sets☆109Updated last month
- Dive into GHC☆82Updated 8 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated 2 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- ☆41Updated 8 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Updated 10 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- A port of QuickCheck to Idris☆61Updated 7 years ago
- A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols☆147Updated 4 years ago
- Community edited and directed course based on Spring '13 cis194.☆46Updated 9 years ago
- Example uses of monads☆43Updated 6 years ago
- ♾️ Sized list☆46Updated last year
- API wrapper for Github's API in Haskell with tests☆17Updated 9 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 8 years ago
- My own little "24 Days of Hackage" for 2015☆62Updated 8 years ago