lambda-scala

Type level lambda calculus in Scala

Stars
33
View Code on GitHub View on X
Ecosystems: Scala

Statistics for this project are still being loaded, please check back later.

Related Projects
scalaz

Principled Functional Programming in Scala

16 Jan 2010 4,653
compilers

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

14 Jun 2022 12
refined

Refinement types for Scala

10 May 2015 1,707
Freasy-Monad

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

05 Sep 2016 114
scala-typelevel-number-theory

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

31 May 2016 5
sash

Reuse regular Scala syntax for monadic expressions

16 Feb 2019 10
scala-cheatsheet

This project will help teaching Scala to people who already familiar with Java

23 Apr 2017 5
shapeless-datatype

Shapeless utilities for common data types

07 Oct 2016 67
scheme-scala

Interpreter of (a subset of) the Scheme programming language, in Scala

27 May 2013 29
LambdaCalculus

Scala implementation of a lambda calculus interpreter

19 Mar 2010 28
tapl-scala

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

03 Feb 2012 176
atlas

A tiny embedded scripting language implemented in Scala.

05 Mar 2018 24
SCROLL

SCROLL - SCala ROLes Language (A DSL based on Scala for role-based programming and dispatch)

16 Apr 2014 26
scala3-typed-holes

A WIP of scala-typed-holes for Scala3

29 Nov 2020 6
tyre-scala

05 Apr 2023 13