Λ's repositories
2006_03_Homotopy_lambda_calculus
Voevodsky's 2006 paper on homotopy lambda calculus
calculator
Example of Scala Parser Combinators
diet-coke
A small functional language with effect inference based on Koka.
dire
A pure Functional Reactive Programming implementation using a discrete time model
etc-kata
This is a pair programming exercise to be used as part of the engineer hiring process
freek
Freek, a freaky simple Free to combine your DSL seamlessly
funtal
FunTAL: mixing a functional language with assembly.
hopl-s2017
History of Programming Languages, Spring 2017
kcats
kcats -- stack-based programming language.
learning-haskell
Learning Haskell
neural-networks-scala
Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala
nominal-hott
Experiments with nominal types in HoTT Agda
old_notes_on_type_systems
Voevodsky's notes on type systems. This version contains more material than the one on his website.
PokemonGo-Bot-Desktop
The Desktop version of Pokemon Go Bot script
Scala-Algorithms
Scala translations of Robert Sedgewick's Java Algorthms
scala-fixpoint-data-structure
Example fixpoint data type with few morphisms (cata-, ana-, hylo-) implemented by hand in Scala
scala-monads-presentation
Презентация о монадах в Scala
scalajs-google-maps
Type-safe and Scala-friendly library over Google Maps.
telegram-bot-tutorial
A mini-tutorial for a scala introduction
TypeDD-Samples
Sample code from "Type Driven Development with Idris"