LambdaCon / 2015Links
Slides and sources from LambdaCon 2015 edition.
☆43Updated 6 years ago
Alternatives and similar repositories for 2015
Users that are interested in 2015 are comparing it to the libraries listed below
Sorting:
- Examples of the book "Real World Haskell" in the Frege programming language☆71Updated 10 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- ☆64Updated 9 years ago
- This is an umbrella development repository for Cloud Haskell☆71Updated 7 years ago
- Frege REPL☆79Updated 6 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 10 years ago
- ☆57Updated 8 years ago
- Repository for Berkeley's class on Programming the Cloud☆60Updated 5 years ago
- Fjord, F# programming language for the JVM.☆210Updated 10 years ago
- Experimental implementations of ML-style modules in Scala☆145Updated 10 years ago
- Repository for LambdaConf 2016 USA.☆67Updated 5 years ago
- Programming Models and Languages for Distributed Computation☆240Updated 7 years ago
- Completed and proposed katas to complete☆71Updated 8 years ago
- SynapseGrid is a framework for constructing dynamic low latency data flow systems.☆123Updated 4 years ago
- Extending Scala with Oz Concurrency☆81Updated 4 years ago
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 9 years ago
- Scala implementation of the Ctrie datastructure.☆176Updated 4 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- Materials related to my talk "Pat Helland and Me"☆14Updated 6 years ago
- Supporting material for ScalaWorld 2015.☆100Updated 10 years ago
- EventStore Haskell TCP Client☆79Updated 4 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆27Updated 8 years ago
- Purely functional, persistent and efficient vector and hash-map data structures for Haskell☆46Updated 8 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- A library for composable fine-grained concurrency.☆54Updated 13 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 10 years ago
- DEPRECATED Runtime for Rugs