Pinned Repositories
acs-category-theory-notes-2017
Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
bedrock2
Towards a low-level systems programming language with a verified compiler
categories
Categories parametrized by morphism equality, in Agda
cspec
Verifying concurrent code with layers and movers
drawio
draw.io is a JavaScript, client-side editor for general diagramming.
folly
An open-source C++ library developed and used at Facebook.
gcn
Implementation of Graph Convolutional Networks in TensorFlow
lz4
Extremely Fast Compression algorithm
zstd
Zstandard - Fast real-time compression algorithm
stellamplau's Repositories
stellamplau/zstd
Zstandard - Fast real-time compression algorithm
stellamplau/acs-category-theory-notes-2017
Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
stellamplau/bedrock2
Towards a low-level systems programming language with a verified compiler
stellamplau/categories
Categories parametrized by morphism equality, in Agda
stellamplau/cspec
Verifying concurrent code with layers and movers
stellamplau/drawio
draw.io is a JavaScript, client-side editor for general diagramming.
stellamplau/folly
An open-source C++ library developed and used at Facebook.
stellamplau/gcn
Implementation of Graph Convolutional Networks in TensorFlow
stellamplau/lz4
Extremely Fast Compression algorithm
stellamplau/PG
This repo is the new home of Proof General
stellamplau/Software-Analysis-Benchmark
Benchmark Software for Evaluation of Software Analysis Tools
stellamplau/z3
The Z3 Theorem Prover
stellamplau/zlib
A massively spiffy yet delicately unobtrusive compression library.