lambda-11235/tcp_davis lambda-11235/tcp_davis

  • Stars
    star
    1
  • Language
    C
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lambda-11235/tcp_davis
github

lambda-11235

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

FarRP

An arrowized FRP library for Idris with static safety guarantees.
Idris
16
star
2

ttyped

A simple dependently typed language based on the Calculus of Constructions.
Haskell
14
star
3

thm

Haskell
2
star
4

lambda-calc

An interpreter for untyped lambda calculus with lazy evaluation.
Haskell
2
star
5

rrootage

A fork of rrootage on linux.
C
1
star
6

sml-parse-comb

A simple parser combinator for Standard ML.
Standard ML
1
star