g
giltho
PostDoc at Imperial College London with Azalea Raad and Peter O'Hearn. Previously worked on @GillianPlatform
92 repositories
40 followers
Repositories
Select a repository to view its commits, contributors, and more.public
comby-vscode
VSCode extension for Comby
TypeScript
7
0
9
Updated 8 months ago
public
gatsby-transformer-bibtex
JavaScript
6
3
6
Updated 3 years ago
public
solfery
Playing with Revery and music
Reason
4
0
0
Updated 5 years ago
public
PrisonnersDilemma
Python
0
0
0
Updated 2 years ago
public
dune-repro-no-lint
OCaml
0
0
0
Updated 5 years ago
public
esy-cvc4
Attempt at packaging cvc4 with esy
0
0
0
Updated 5 years ago
public
esy-repro-cmd-inconsistency
OCaml
0
0
0
Updated 2 years ago
public
repro-bug-esy-submodule
OCaml
0
0
0
Updated 2 years ago
public
ppx_deriving_tag_string
A (very) simple ppx_deriving plugin that allows to serialize and deserialize type tags into string
0
0
0
Updated 2 years ago
public
code-gillian
Gillian helpers for VSCode
TypeScript
0
1
2
Updated 4 years ago
public
language-acsl
Add support for ACSL in C comments in Atom IDE.
CSS
0
0
0
Updated 2 years ago
public
TestPdfBoxSoot
Used to reproduce a soot error
Java
0
0
0
Updated 2 years ago