Giters
logicshan

logicshan

Geek Repo

5

followers

30

following

317

stars

Github PK Tool:Github PK Tool

logicshan's repositories

pj-lester-book

Language:HaskellStargazers:16Issues:1Issues:0

LambdaCube

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:1Issues:0

jekyll_demo

Stargazers:1Issues:1Issues:0

llvm-general-examples

Language:HaskellStargazers:1Issues:1Issues:0

PTS

Language:HaskellStargazers:1Issues:1Issues:0

cct

Stargazers:0Issues:1Issues:0

core

Language:TeXStargazers:0Issues:1Issues:0

dtp

Language:AgdaStargazers:0Issues:1Issues:0

fsspl

Language:CStargazers:0Issues:1Issues:0

IAL

Language:AgdaLicense:MITStargazers:0Issues:1Issues:0

Lambda

Language:HaskellStargazers:0Issues:1Issues:0

lc-with-redex

Lambda calculus with Scheme and PLT-Redex, by Jos Koot

Language:SchemeStargazers:0Issues:1Issues:0

practical-logic

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

sasl

A SASL compiler in Haskell

Stargazers:0Issues:1Issues:0