Isaac-DeFrain

Isaac-DeFrain

👤 Developer

3 repositories on SrcLog

View on GitHub
3 Repos
18 Stars
0 Forks
18 Watchers

Repositories (3)

simple-compiler Isaac-DeFrain/simple-compiler OCaml

A simple compiler for a simple language. Compiles to RISC instructions with dead code optimization.

11
dependent Isaac-DeFrain/dependent OCaml

An implementation of dependently typed lambda calculus

4
Todo Isaac-DeFrain/Todo OCaml

Todo list application built to explore different features of the OCaml language

3