Discover @fangyi-zhou Open Source projects

Fangyi Zhou (@fangyi-zhou)

fangyi-zhou

Stars
60
Global Rank 300,258 (Top 11 %)
Followers 164
Following 223
Registered over 10 years ago
Most used languages

TypeScript
19.0 %

OCaml
19.0 %

Haskell
9.5 %

Python
9.5 %

F#
4.8 %

Elixir
4.8 %

C
4.8 %

Agda 4.8 %

HTML
4.8 %

Go
4.8 %

Java
4.8 %

TeX
4.8 %

Rust
4.8 %
Location 🇬🇧 United Kingdom
Country Total Rank 12,220
Country Ranking

Agda 32

F#
84

OCaml
97

Elixir
383

Haskell
396

Rust
842

TeX
1,346

TypeScript
1,693

Go
3,477

Java
4,757

C
4,809

HTML
8,044

FluidTypes

Simple Refinement types for F#. No longer maintained.

graphviz-dot-parser

factorio-nuclear-power

A simple calculator for factorio power plant

setup-agda-action

OLint

KarnaughMapGenerator

A Karnaugh Map generator for sequential circuit design (with 3 D-flip-flops)

pallvm

Pascal to LLVM compiler

covid19-england

Deprecated - Please use the app provided by gov.uk at https://www.arcgis.com/apps/opsdashboard/index.html#/f94c3c90da5b4e9f9a0b19484dd4bb14

RegisterMachine

mpst-in-agda

actions-ocaml

tex-renderer

On-demand tex rendering. Try it at http://tex.fangyi.io/render/[github-user]/[repo]/path/to/your/tex/file.tex

advent-of-code

LambdaCalculus

A simple lambda calculus implementation in Haskell

mpst-tracing

sudoku-z3

A Sudoku Solver with Z3

advent-of-code-2022

bib-downloader

ScribbleCodeGenOCaml

Trans-Legal-Cases

Summarising important legal cases about transgender rights in England and Wales

xbox

fangyi-zhou.github.io

https://fangyi.io

mpstmacros

Macros for Multiparty Session Types