Discover @lambda-11235 Open Source projects

Taran Lynn (@lambda-11235)

lambda-11235

Stars
37
Global Rank 421,862 (Top 15 %)
Followers 9
Following 3
Registered almost 9 years ago
Most used languages

Haskell
42.9 %

C
28.6 %

Standard ML 14.3 %

Idris 14.3 %
Location 🇺🇸 United States
Country Total Rank 82,464
Country Ranking

Idris 12

Standard ML 158

Haskell
633

FarRP

An arrowized FRP library for Idris with static safety guarantees.

ttyped

A simple dependently typed language based on the Calculus of Constructions.

thm

lambda-calc

An interpreter for untyped lambda calculus with lazy evaluation.

tcp_davis

rrootage

A fork of rrootage on linux.

sml-parse-comb

A simple parser combinator for Standard ML.