gshen42

Pinned Repositories

chor-alg.paper
Language:TeX2 2 00
cut
Cut elimination for intuitionistic propositional logic and its applications.
Language:Agda20
HasChor
Functional choreographic programming in Haskell
Language:Haskell79 4 515
ml-type-inference
ML-style type inference in Prolog
Language:Prolog40
vc-hb-iso
Proof that vector clocks are isomorphic to the happens-before relation.
Language:Agda0 2 02

gshen42's Repositories

gshen42/HasChor
Functional choreographic programming in Haskell
Language:Haskell79 4 515
gshen42/ml-type-inference
ML-style type inference in Prolog
Language:Prolog40
gshen42/chor-alg.paper
Language:TeX2 2 00
gshen42/cut
Cut elimination for intuitionistic propositional logic and its applications.
Language:Agda20
gshen42/vc-hb-iso
Proof that vector clocks are isomorphic to the happens-before relation.
Language:Agda0 2 02
gshen42/.emacs.d
My Emacs configuration
gshen42/agda-stdlib
The Agda standard library
Language:Agda
gshen42/async-haschor.paper
Language:TeX
gshen42/chor-alg
Choreographic programming with algebraic effects
Language:Agda1 0
gshen42/gshen42.github.io
My homepage
Language:HTML2 0
gshen42/hoare-logic
Hoare logic formalized in Agda
Language:Agda2 0
gshen42/Pong
The classic pong video game, implemented in C++ and SDL
Language:C++1 0