Giters
Beren Oguz (berenoguz)

berenoguz

Geek Repo

11

followers

3

following

5

stars

Company:Cambridge Mobile Telematics

Location:Boston, MA

Github PK Tool:Github PK Tool

Beren Oguz's repositories

Math

Formalization of Mathematics using Type Theory of Agda Programming Language

Language:AgdaLicense:GPL-3.0Stargazers:11Issues:2Issues:13

.emacs.d

My emacs directory

Language:Emacs LispStargazers:0Issues:0Issues:0

yabi

Yet another brainfuck implementation

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:12