Giters
Björn Lötters (BjoernLoetters)

BjoernLoetters

Geek Repo

25

followers

26

following

43

stars

Company:University of Applied Sciences THM

Location:Germany

Github PK Tool:Github PK Tool

Björn Lötters's repositories

lambda-m

A lazy and untyped experimental programming language

Language:HaskellLicense:MITStargazers:10Issues:0Issues:0

macrowave

Language:ScalaLicense:MITStargazers:4Issues:0Issues:0

noocleus-one

A minimal functional programming language with type inference, algebraic data types and pattern matching

Language:ScalaLicense:MITStargazers:4Issues:2Issues:3

clerk

Live View Programming with Java's JShell

Language:HTMLStargazers:0Issues:0Issues:0

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0