funemy

Yanze Li's repositories

SWORD

SWORD: A Whole Program Race Detector for Java

Language:JavaMIT12 20

simple-se

An oversimplified symbolic executor for a subset of python3

Language:Python2 10

funemy.github.io

https://liyz.pl

Language:SCSS1 20

mid

neither based nor cringe

Language:HaskellNOASSERTION1 10

99-ocaml

99 problems in ocaml

Language:OCaml020

execrises

random notes/thoughts/proofs

Language:Haskell010

Ammonite

Scala Scripting

Language:ScalaNOASSERTION000

async-rust-examples

A collection of async rust toy programs

Language:Rust010

bobs-club

a web ring for friends

Language:JavaScript000

CloverLeaf_OpenMP

A version of CloverLeaf using OpenMP pragmas

Language:Fortran010

codewar-archive

nothing interesting here

Language:OCaml020

conceptual-math

exercises in conceptual mathematics

Language:Agda010

Crappie-Bench

A collection of benchmark projects

Language:Java010

CV

academic CV of Yanze Li

Language:TeXMIT020

dt

cpsc539b

Language:Agda010

eclipse.jdt.ls

Java language server

Language:JavaEPL-1.0020

fib

Language:Assembly000

funemy

020

gllvm

Whole Program LLVM: wllvm ported to go

Language:GoBSD-3-Clause010

graphblas_recreate_race

simple test case on GraphBLAS that has race condition

Language:C020

hazel

Hazel, a live functional programming environment with typed holes

Language:ReasonMIT010

learn-idris

2017 OPLSS course of idris

Language:Idris020

memcached

memcached development tree

Language:CBSD-3-Clause010

minimal

A minimal zsh theme

Language:ShellGPL-3.0010

mpich

Official MPICH Repository

Language:CNOASSERTION010

pbzip2

Language:C++NOASSERTION010

plfa

plfa exercises

Language:Agda010

resume

An elegant \LaTeX\ résumé template. 大陆镜像 https://gods.coding.net/p/resume/git

Language:TeXMIT010

spl

Language:HTML000

tonal-theory

Language:Agda000