Schrodinger ZHU Yifan

snmalloc-rs. rust bindings of snmalloc

153

paguroidea. A reimplementation of the Flap parser in Rust (with our own modifications applied)!

55

VNMCC. Very Naive MIPS CPU using Clash

29

bench_suite. Python

22

tabbycat. dotgraph generator for rust

20

reussir-lang. The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.

19

memcpy-amd64. An implementation of memcpy for amd64 with clang/gcc

15

StanfordLib-CUHKSZ. A cmake delivery version of stanford library, specially patched for CSC3002 students in CUHK(SZ)

13

crc64-cxx. SIMD CRC64 for C++

12

rura. RUst way for Reuse Analysis

11

LeanGccBackend. Lean4 backend using `libgccjit`!

11

koka-collections. Purely functional data structures in Koka

10

ahash-cxx. A variant of Ahash written in C++.

10

assembler. Data Parallel MIPS Toy Assembler

8

bfprt. c++ implementation of bfprt algorithm

7

lean-gccjit. libgccjit bindings for Lean4

7

wfarc. Wait-Free Weak Reference Counting in Rust

7

SwissTableJavaVectorAPI. A proof-of-concept implementation of swisstable in Java using Vector API

6

stanford-cpp-library-cmake. stanford-cpp-library empty project, using cmake as build toolchain

6

ahash-c. A pure C re-implementation of rust aHash, with aarch64 support

6

pika_cxx. A WIP C++ Implementation of Packrat & PIKA Parser (for study purpose)

6

in-memory-btree. just an in-memory-btree

6

unwinder. Rust

5

libmprompt-sys. raw bindings to libmprompt for rust

5

dynforest. A rust crate for dynamic forest management

4

simulator. a toy simulator for MIPS

4

simplebf. brainf**k native compiler (for fun)

4

egraph-step-by-step. step by step learning of egraphs

4

micro-jit. A micro language JIT written on Truffle

4

domtree. A generic rust crate for dominance relation calculation.

3

data_structure_for_love. data structure project

3

autolala-legacy. Rust

3

flist. Elixir list implement with the data structure of fingertree

3

micro_compiler. C++

3

backend. A work in progress compiler backend for MIPS

3

useless. Useless Utilities

3

libc-free. Rust

3

clearup. A very simple LKM for cache and TLB clearing

3

swisstable_kk. Mutable Swisstable for Koka.

3

hashbrown4lean. Rust

3

nbe-at-large. learning of NbE

3

area-exam-survey. Reuse Analysis, Review and Rethinking

2

lambda-lock. Rust

2

veb. An functional implement of the RS-vEB tree.

2

lean-hovercraft. floating point writers and readers

2

toylibc. Rust

2

study. 学 (tui) 习 (fei) 笔记

2

libcrc64-c. pure C implementation of CRC64 with SIMD acceleration

1

graphics-final. CMake

1

frontend. Compiler Frontend

1

cuhksz-qt. Qt preparation for CUHK(SZ) CSC3002

1