LambdaCon / 2015Links
Slides and sources from LambdaCon 2015 edition.
☆43Updated 5 years ago
Alternatives and similar repositories for 2015
Users that are interested in 2015 are comparing it to the libraries listed below
Sorting:
- ☆64Updated 8 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 10 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- This repo contains code that generates minsat input to detect if the board game Quarto can end in a tie☆14Updated 9 years ago
- Java Code Generator for Idris☆71Updated 9 years ago
- This is an umbrella development repository for Cloud Haskell☆71Updated 6 years ago
- Completed and proposed katas to complete☆71Updated 7 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Advent of Code 2017☆41Updated 6 years ago
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 9 years ago
- Importer program for microlibraries. Bring in the libbits!☆17Updated 10 years ago
- ☆92Updated 9 years ago
- Repository for LambdaConf 2016 USA.☆64Updated 4 years ago
- Sandbox for playing around with CRDTs☆30Updated 7 years ago
- Erlang Backend for Idris Compiler☆188Updated 7 years ago
- Source of the Frege Goodness gitbook☆16Updated 6 years ago
- N2O in Haskell☆29Updated 9 years ago
- Pure Pony Kafka client☆58Updated 6 years ago
- A modified version of Brent Yorgey's CIS 194 Haskell course☆17Updated 5 years ago
- Experimental event store database entirely written in Haskell☆30Updated 7 years ago
- Frege REPL☆78Updated 6 years ago
- Experimental implementations of ML-style modules in Scala☆147Updated 9 years ago
- ☆57Updated 7 years ago
- source of the little riak core book☆33Updated 6 years ago
- Server for stable, curated Haskell package sets☆109Updated last week
- Tiny Frege web framework developed on top of sparkjava.com☆27Updated 9 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Updated 7 years ago
- A Freer Monad implemented in elixir.☆32Updated 9 years ago
- Strange Loop 2014 archives☆188Updated 10 years ago