Vincent-lau

Cambridge, United Kingdom

Pinned Repositories

action-pyflakes
Run pyflakes with reviewdog 🐶
Language:Dockerfile0 1 00
aws-doc-sdk-examples
Welcome to the AWS Code Examples Repository. This repo contains code examples used in the AWS documentation, AWS SDK Developer Guides, and more. For more information, see the Readme.rst file below.
Language:Java0 1 00
bitcoin-cw
Language:Java0 2 00
flinkcoin
Language:Java1 2 00
hyperion
Language:Go3 2 00
hypermnesia
Language:Jupyter Notebook4 2 00
ocaml-corosync
Language:OCaml7 2 00
ocaml-heap-analysis
Language:Python1 2 01
ocaml-rope-bench
Language:OCaml30
otp
Erlang/OTP
Language:Erlang7 2 00

Vincent-lau's Repositories

Vincent-lau/ocaml-corosync
Language:OCaml7 2 00
Vincent-lau/otp
Erlang/OTP
Language:Erlang7 2 00
Vincent-lau/hypermnesia
Language:Jupyter Notebook4 2 00
Vincent-lau/hyperion
Language:Go3 2 00
Vincent-lau/flinkcoin
Language:Java1 2 00
Vincent-lau/action-pyflakes
Run pyflakes with reviewdog 🐶
Language:Dockerfile0 1 00
Vincent-lau/bitcoin-cw
Language:Java0 2 00
Vincent-lau/coq-lf
Language:Coq2 0
Vincent-lau/corosync
The Corosync Cluster Engine
Vincent-lau/dotfiles
Vincent-lau/federated-capacity-consensus
Introducing: Large Scale Capacity Consensus!
Language:MATLAB1 0
Vincent-lau/hello-ocaml
A minimal OCaml project
Language:OCaml1 0
Vincent-lau/HelloJava-mx
Language:Java2 0
Vincent-lau/hugo-PaperModX
A fast, clean, responsive Hugo theme.
Language:HTML1 0
Vincent-lau/hypermnesia-vldb
Language:TeX2 0
Vincent-lau/hypermnesia_eval
Language:Jupyter Notebook2 0
Vincent-lau/Hypervisor-101-in-Rust
The materials of "Hypervisor 101 in Rust", a one-day long course, to quickly learn hardware-assisted virtualization technology and its application for high-performance fuzzing on Intel/AMD processors.
Language:Rust1 0
Vincent-lau/inet_tcp_proxy
Simulate network partitions in an distributed Erlang cluster
Language:Erlang1 0
Vincent-lau/london-tube-data
1 0
Vincent-lau/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml1 0
Vincent-lau/ocaml-rpc
Light library to deal with RPCs in OCaml
Language:OCaml1 0
Vincent-lau/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:Shell
Vincent-lau/P51a
Single year (of transition) High Performance Networking becomes High Performance Networked-Systems
Language:Jupyter Notebook1 0
Vincent-lau/posix_lexing
Language:OCaml
Vincent-lau/pweb
Some blogs
Language:TeX2 0
Vincent-lau/rabbitmq-server
Open source RabbitMQ: core server and tier 1 (built-in) plugins
Language:Starlark1 0
Vincent-lau/saturn
Lock-free data structures for multicore OCaml
Language:OCaml0 0
Vincent-lau/stdext
Xenserver's (deprecated) extensions to the ocaml standard library
Language:OCaml1 0
Vincent-lau/xen-api
The Xapi Project's XenAPI Server
Language:OCaml1 0
Vincent-lau/xs-opam
Opam repository for OCaml libraries to build Citrix Hypervisor toolstack components
Language:Shell1 0