tapl-scala

Code from the book "Types and Programming Languages" in Scala

Stars
176
Committers
2
View Code on GitHub
Ecosystems: Scala

Commit Statistics

Past Year

All Time

Total Commits
76
Total Committers
4
Avg. Commits Per Committer
19.0
Bot Commits
0
Related Projects
typed-list

A linked list with compile time size.

03 Mar 2019 10
clone-hero-chart-db

System for indexing clone hero charts

29 Nov 2017 1
LambdaCalculus

Scala implementation of a lambda calculus interpreter

19 Mar 2010 28
sash

Reuse regular Scala syntax for monadic expressions

16 Feb 2019 10
free-to-compose

Library that eases the usage of Free Monads based on cats and allows to compose multiple free mon...

07 Nov 2015 17
fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

23 Feb 2012 5,685
scala-typelevel-number-theory

A type level encoding of number theory atoms, axioms and rules

31 May 2016 5
compilers

A place for me to learn/ experiment with interpreters/compilers

14 Jun 2022 12
Freasy-Monad

Easy way to create Free Monad using Scala macros with first-class Intellij support.

05 Sep 2016 114
lambda-scala

Type level lambda calculus in Scala

05 May 2015 33