All Git Users → atennapel

2 open source projects by atennapel

[ Open user page on Github ]

"operating system" based on the calculus of constructions

✭ 17

javascript typescript OpenEdge ABL HTML

Dependently typed programming language written in Haskell

✭ 22

1-2 of 2 user projects