-
-
zhezhouzz.github.io Public
Forked from StartBootstrap/startbootstrap-resumeA Bootstrap 4 resume/CV theme created by Start Bootstrap
-
-
-
-
-
-
-
-
-
-
-
-
-
P-Tutorial-Raft Public
Forked from AD1024/P-Tutorial-RaftA Raft model (without reconfiguration) implemented in P
OpenEdge ABL MIT License UpdatedSep 12, 2024 -
ADT-OO Public
Examples for “OOPSLA '09 On understanding data abstraction, revisited”
UpdatedSep 1, 2024 -
-
-
definitional_interpretor Public
OCaml Implementation of "Defifinitional interpreters for higher-order programming languages"
-
-
-
-
-
-
ADT-Lemma-Discovery Public
Algebraic data type specification inference
-
-
-
-
-
{{ message }}