Giters
m-schm

m-schm

Geek Repo

5

followers

2

following

11

stars

Github PK Tool:Github PK Tool

m-schm's repositories

topaz

Dependently typed language that compiles to JavaScript

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

chumsky

A friendly parser combinator crate

Language:RustLicense:MITStargazers:0Issues:0Issues:0

lambda-pi

toy dependent typechecker / interpreter for my own educational purposes

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

llvm-test

small compiler for llvm

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

statuses

Language:SvelteStargazers:0Issues:1Issues:0

url-shortener

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