d
Repositories
Select a repository to view its commits, contributors, and more.public
GTLC
Interpreter for gradually-typed lambda calculus with mutable references
Haskell
8
0
1
Updated 4 years ago
public
talks
LaTeX sources for my talks
TeX
2
0
0
Updated 4 years ago
public
monotonic
Monotonic References for Gradual Typing in Agda
Agda
1
0
0
Updated 2 years ago
public
dotfiles
Emacs Lisp
0
0
0
Updated 6 years ago
public
c343-grading
Shell
0
0
0
Updated 7 years ago
public
azure-js-dev-docker
Makefile
0
0
0
Updated 4 years ago
public
h343-grading
Shell
0
0
0
Updated 7 years ago
public
deyaaeldeen.github.io
HTML
0
1
0
Updated 4 years ago