Discover @fangyi-zhou Open Source projects

Fangyi Zhou (@fangyi-zhou)

fangyi-zhou

Stars
60
Global Rank 290,514 (Top 11 %)
Followers 164
Following 223
Registered almost 10 years ago
Most used languages

TypeScript
19.0 %

OCaml
19.0 %

Python
9.5 %

Haskell
9.5 %

F#
4.8 %

Java
4.8 %

Agda 4.8 %

Elixir
4.8 %

HTML
4.8 %

Go
4.8 %

Rust
4.8 %

C
4.8 %

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

Agda 30

F#
82

OCaml
95

Elixir
297

Haskell
375

Rust
796

TeX
1,013

TypeScript
1,600

Go
2,969

Java
4,431

C
5,248

HTML
7,961

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

tex-renderer

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

LambdaCalculus

A simple lambda calculus implementation in Haskell

mpst-in-agda

actions-ocaml

advent-of-code

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

mpstmacros

Macros for Multiparty Session Types

fangyi-zhou.github.io

https://fangyi.io