Block or Report
Block or report tgiannak
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
semantics-recursive-real-ppl Public
Forked from cobbal/semantics-recursive-real-ppl
Coq implementation of logical relations for reasoning about a probabilistic programming language with continuous random variables and recursion.
Coq 1
-
-
iracket Public
Forked from ppaml-op3/iracket
IPython/Jupiter kernel for Racket and Gamble.
Jupyter Notebook
11 contributions in the last year
Activity overview
Contributed to
ndmitchell/hlint,
haskell/haskell-language-server,
yourealwaysbe/forkyz
and 6 other
repositories
Contribution activity
August 2022
tgiannak has no activity
yet for this period.