Beast code in Giters

Gan Shen's repositories

Functional choreographic programming in Haskell

Language:HaskellBSD-3-Clause67 4 4

ML-style type inference in Prolog

Language:Prolog400

Language:TeX100

Cut elimination for intuitionistic propositional logic and its applications.

Language:Agda000

Proof that vector clocks are isomorphic to the happens-before relation.

Language:Agda000

000

The Agda standard library

Language:AgdaNOASSERTION000

Choreographic programming with algebraic effects

Language:Agda000

My homepage

Language:HTML000

Hoare logic formalized in Agda

Language:Agda000

The classic pong video game, implemented in C++ and SDL

Language:C++000