noti0na1

noti0na1

👤 Developer

4 repositories on SrcLog

View on GitHub
4 Repos
125 Stars
11 Forks
125 Watchers

Repositories (4)

socc noti0na1/socc OCaml

Simple C Compiler in OCaml

94
LambdaCalculus-java noti0na1/LambdaCalculus-java Java

Lambda calculus implemented in Java

20
Kripke-Models noti0na1/Kripke-Models Racket

A Racket Implement of Kripke Models

6
GADTFormat noti0na1/GADTFormat OCaml

Type-safe Format using GADT in OCaml

5