Pinned Repositories
cakeml
CakeML: A Verified Implementation of ML
category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
compcert
Compcert repository of the Yale FLINT Group
Compiler
core
MoonBit's Core library
docs
HStreamDB user documentation
emacs-format-all-the-code
Auto-format source code in many languages with one command
hstream
The database built for IoT streaming data storage and real-time stream processing.
hstreamdb-java
Java Client for HStreamDB
rbgs
Refinement-Based Game Semantics
Yu-zh's Repositories
Yu-zh/rbgs
Refinement-Based Game Semantics
Yu-zh/cakeml
CakeML: A Verified Implementation of ML
Yu-zh/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
Yu-zh/compcert
Compcert repository of the Yale FLINT Group
Yu-zh/Compiler
Yu-zh/core
MoonBit's Core library
Yu-zh/docs
HStreamDB user documentation
Yu-zh/emacs-format-all-the-code
Auto-format source code in many languages with one command
Yu-zh/hstream
The database built for IoT streaming data storage and real-time stream processing.
Yu-zh/hstreamdb-java
Java Client for HStreamDB
Yu-zh/Idris2
A purely functional programming language with first class types
Yu-zh/minidafny
CS545 project
Yu-zh/idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Yu-zh/java-protobuf-demo
Yu-zh/lang_tech
EDAN20 in Lund
Yu-zh/learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
Yu-zh/lsp-haskell
lsp-mode :heart: haskell
Yu-zh/relude
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
Yu-zh/typerep-map
⚡️Efficient implementation of Map with types as keys
Yu-zh/zoovisitor
Haskell client for ZooKeeper