hei411

Pinned Repositories

ACT
Language:Coq00
cam-notes
My Cambridge Lecture Notes
Language:TeX00
clutch
A probabilistic relational separation logic with support for asynchronous couplings.
Language:Coq00
DreamsAI
Elimination game
Language:C++00
eva
Eva -- A strongly-typed polymorphic strict purely functional reactive programming language with modalities from guarded recursion and linear temporal logic.
Language:Haskell10
flower
Flower - A Friendly Federated Learning Framework
Language:Python6 0 03
hei411
00
hei411.github.io
0 1 00
Steffi
Transpilers you did not know you need
Language:Rust10
clutch
Probabilistic separation logics for verifying higher-order probabilistic programs.
Language:Coq17 7 04

hei411's Repositories

hei411/flower
Flower - A Friendly Federated Learning Framework
Language:Python6 0 03
hei411/eva
Eva -- A strongly-typed polymorphic strict purely functional reactive programming language with modalities from guarded recursion and linear temporal logic.
Language:Haskell10
hei411/Steffi
Transpilers you did not know you need
Language:Rust10
hei411/ACT
Language:Coq00
hei411/cam-notes
My Cambridge Lecture Notes
Language:TeX00
hei411/clutch
A probabilistic relational separation logic with support for asynchronous couplings.
Language:Coq00
hei411/DreamsAI
Elimination game
Language:C++00
hei411/hei411
00
hei411/hei411.github.io
0 1 00
hei411/HLMA
Language:C++
hei411/Isabelle
Having fun with HOL/Isabelle
Language:Isabelle
hei411/software_foundations_coq
Language:Coq
hei411/Treeresearch
All the files used for the experiment of tree comparisons
Language:C++1 0