Discover @SchrodingerZhu Open Source projects

Schrodinger ZHU Yifan (@SchrodingerZhu)

SchrodingerZhu

Stars
461
Global Rank 62,055 (Top 3 %)
Followers 283
Following 286
Registered over 8 years ago
Most used languages

C++
37.1 %

Rust
30.6 %

Elixir
6.5 %

C
4.8 %

Shell
3.2 %

Python
3.2 %

Java
3.2 %

Lean 3.2 %

OCaml
1.6 %

TeX
1.6 %

Typst 1.6 %

MATLAB
1.6 %

CMake 1.6 %
Location 🇺🇸 United States
Country Total Rank 17,032
Country Ranking

Typst 18

Lean 27

TeX
567

Rust
647

OCaml
942

Elixir
998

CMake 1,033

C++
2,193

MATLAB
4,860

C
7,629

snmalloc-rs

rust bindings of snmalloc

paguroidea

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

VNMCC

Very Naive MIPS CPU using Clash

tabbycat

dotgraph generator for rust

bench_suite

ReuseIR

Reuse Analysis in MLIR and Rust. Functional programming meets performance.

memcpy-amd64

An implementation of memcpy for amd64 with clang/gcc

rura

RUst way for Reuse Analysis

crc64-cxx

SIMD CRC64 for C++

LeanGccBackend

Lean4 backend using `libgccjit`!

StanfordLib-CUHKSZ

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

ahash-cxx

A variant of Ahash written in C++.

koka-collections

Purely functional data structures in Koka

assembler

Data Parallel MIPS Toy Assembler

lean-gccjit

libgccjit bindings for Lean4

bfprt

c++ implementation of bfprt algorithm

pika_cxx

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

wfarc

Wait-Free Weak Reference Counting in Rust

in-memory-btree

just an in-memory-btree

ahash-c

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

stanford-cpp-library-cmake

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

unwinder

libmprompt-sys

raw bindings to libmprompt for rust

simulator

a toy simulator for MIPS

simplebf

brainf**k native compiler (for fun)

dynforest

A rust crate for dynamic forest management

SwissTableJavaVectorAPI

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

micro-jit

A micro language JIT written on Truffle

data_structure_for_love

data structure project

swisstable_kk

Mutable Swisstable for Koka.

libc-free

backend

A work in progress compiler backend for MIPS

domtree

A generic rust crate for dominance relation calculation.

flist

Elixir list implement with the data structure of fingertree

micro_compiler

clearup

A very simple LKM for cache and TLB clearing

nbe-at-large

learning of NbE

egraph-step-by-step

step by step learning of egraphs

hashbrown4lean

MorningStar-IR

Middle Level Special Intermediate Representation (Research Design of IR with Equality Saturation Ability for Pr47)

area-exam-survey

Reuse Analysis, Review and Rethinking

lean-hovercraft

floating point writers and readers

veb

An functional implement of the RS-vEB tree.

SinkSCC

A C++ implementation of the graph algorithm of finding all strongly connected components with DFS

toylibc

Minimal-Surface-and-Obstacles

DDA/CIE-project

lambda-lock

libcrc64

Fast CRC64 implementation from rust

graphics-final

keeper-core2

LGU-LUG

loom4c

locksmith's playground

dch_joking

exqueue

Several simple implements of functional queue data structures in Elixir.

tiflash-env

Development environment for TiFlash

vEB_tree

The giant data structure of van Emde Boas tree.

reuse-ir

pag-final-evaluation-cc24

More evaluations for "Paguroidea: Fused Parser Generator with Transparent Semantic Actions" (To be presented at CC'24)

reuse-runtime

A reuse runtime designed for cyrup language (without thinking too much yet)

pc2mesh

libcrc64-c

pure C implementation of CRC64 with SIMD acceleration

SCC

password

my own password keeper

docker-spark

frontend

Compiler Frontend

Paper-Reading

Tracks my paper reading status

Bidi-Parser

(Thesis) Bidirectional Parsing