Yu Zhang's 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
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
Idris2
A purely functional programming language with first class types
minidafny
CS545 project
idris2-mode
Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
lang_tech
EDAN20 in Lund
learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
lsp-haskell
lsp-mode :heart: haskell
relude
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
typerep-map
⚡️Efficient implementation of Map with types as keys
zoovisitor
Haskell client for ZooKeeper