Giters
Denis Ignatovich (ignaden)

ignaden

Geek Repo

10

followers

8

following

43

stars

Company:@Imandra-ai

Location:Austin/London

Home Page:http://www.imandra.ai

Github PK Tool:Github PK Tool

Organizations
imandra-ai

Denis Ignatovich's repositories

CarND-Advanced-Lane-Lines

Language:PythonStargazers:0Issues:1Issues:0

CarND-LaneLines-P1

Language:Jupyter NotebookStargazers:0Issues:1Issues:0

CarND-Traffic-Sign-Classifier-Project

Language:HTMLStargazers:0Issues:1Issues:0

ocamlverse.github.io

Documentation of everything relevant in the OCaml world

Language:CSSLicense:CC0-1.0Stargazers:0Issues:1Issues:0