fangyi-zhou
(Former | Future?) Programming Language Researcher | Software Engineer #OpenForWork pronoun.is/they
retail m e g a c o r pLondon, UK
Pinned Repositories
PLFA-zh
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
angery-bot
All your angery are belong to us
advent-of-code-ocaml-starter
Starter code for doing Advent of Code in OCaml
covid19-england
Deprecated - Please use the app provided by gov.uk at https://www.arcgis.com/apps/opsdashboard/index.html#/f94c3c90da5b4e9f9a0b19484dd4bb14
factorio-nuclear-power
A simple calculator for factorio power plant
FluidTypes
Simple Refinement types for F#. No longer maintained.
graphviz-dot-parser
setup-agda-action
nuscr
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
oopsla20-artifact
Artifact for "Statically Verified Refinements for Multiparty Protocols" (Accepted by OOPSLA '20)
fangyi-zhou's Repositories
fangyi-zhou/factorio-nuclear-power
A simple calculator for factorio power plant
fangyi-zhou/advent-of-code-ocaml-starter
Starter code for doing Advent of Code in OCaml
fangyi-zhou/graphviz-dot-parser
fangyi-zhou/advent-of-code
fangyi-zhou/mpst-in-agda
fangyi-zhou/tex-renderer
On-demand tex rendering. Try it at http://tex.fangyi.io/render/[github-user]/[repo]/path/to/your/tex/file.tex
fangyi-zhou/xbox
A box in X
fangyi-zhou/advent-of-code-2022
fangyi-zhou/fangyi-zhou.github.io
https://fangyi.io
fangyi-zhou/mpst-tracing
fangyi-zhou/mpstmacros
Macros for Multiparty Session Types
fangyi-zhou/thesis-template
A template for PhD thesis made to my own preferences
fangyi-zhou/100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
fangyi-zhou/advent-of-code-2020
fangyi-zhou/dotfiles
fangyi-zhou/git-po
Git l10n coordinator repo ('maint' and 'master' track l10n of the counterparts of git.git)
fangyi-zhou/githerder
Parallel git pull
fangyi-zhou/hugo-tufte
Content centric Hugo blogging theme styled with Tufte-Css
fangyi-zhou/infer
A static analyzer for Java, C, C++, and Objective-C
fangyi-zhou/langchain-postgres
LangChain abstractions backed by Postgres Backend
fangyi-zhou/magicvariables-sty
fangyi-zhou/misc-scripts
fangyi-zhou/mpst-examples
fangyi-zhou/opam-repository
Main public package repository for opam, the source package manager of OCaml.
fangyi-zhou/paper-vector-search
fangyi-zhou/plfa.github.io
Introduction to programming language theory in Agda
fangyi-zhou/scribble-java
Core components for the Scribble Java tools
fangyi-zhou/smithy-typescript
Smithy code generators for TypeScript. (in development)
fangyi-zhou/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
fangyi-zhou/tfl-email