Giters
t : T (toineo)

toineo

Geek Repo

11

followers

17

following

9

stars

Github PK Tool:Github PK Tool

t : T's repositories

kpn

Sys' project

Language:OCamlStargazers:3Issues:3Issues:0

match-point

Match similar point systems

Language:OCamlStargazers:1Issues:3Issues:0

sem-text

Semantic text

Stargazers:1Issues:2Issues:0

smt-project

Simple smt solver for a class project

Language:OCamlLicense:GPL-3.0Stargazers:1Issues:3Issues:0

TinyFS

Naive file system implementation

Language:CStargazers:1Issues:2Issues:0

cis501

UPenn CIS 501: Fall 2015 homework assignments

Language:JavaLicense:GPL-2.0Stargazers:0Issues:2Issues:0

IdeaManagerPrototype

Language:ScalaStargazers:0Issues:0Issues:0

Sublime-Coq

Coq programming language support for Sublime Text

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

system-fc-coq

Language:TeXStargazers:0Issues:2Issues:0

WorldGen

World generation library

Language:HaskellStargazers:0Issues:2Issues:0