Discover SchrodingerZhu/koka-collections Open Source project

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

118

paguroidea

Very Naive MIPS CPU using Clash

VNMCC

TeX

tabbycat

dotgraph generator for rust

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

bench_suite

Python

ReuseIR

An implementation of memcpy for amd64 with clang/gcc

memcpy-amd64

RUst way for Reuse Analysis

rura

crc64-cxx

SIMD CRC64 for C++

Lean4 backend using `libgccjit`!

LeanGccBackend

Lean

StanfordLib-CUHKSZ

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

A variant of Ahash written in C++.

ahash-cxx

Data Parallel MIPS Toy Assembler

assembler

libgccjit bindings for Lean4

lean-gccjit

Lean

bfprt

c++ implementation of bfprt algorithm

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

pika_cxx

Wait-Free Weak Reference Counting in Rust

wfarc

in-memory-btree

just an in-memory-btree

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

ahash-c

stanford-cpp-library-cmake

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

unwinder

raw bindings to libmprompt for rust

libmprompt-sys

simulator

a toy simulator for MIPS

brainf**k native compiler (for fun)

simplebf

A rust crate for dynamic forest management

dynforest

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

SwissTableJavaVectorAPI

Java

micro-jit

A micro language JIT written on Truffle

Java

data_structure_for_love

data structure project

Mutable Swisstable for Koka.

swisstable_kk

libc-free

A work in progress compiler backend for MIPS

backend

A generic rust crate for dominance relation calculation.

domtree

Elixir list implement with the data structure of fingertree

flist

micro_compiler

A very simple LKM for cache and TLB clearing

clearup

nbe-at-large

learning of NbE

step by step learning of egraphs

egraph-step-by-step

hashbrown4lean

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

MorningStar-IR

area-exam-survey

Reuse Analysis, Review and Rethinking

Typst

lean-hovercraft

floating point writers and readers

An functional implement of the RS-vEB tree.

veb

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

SinkSCC

toylibc

Minimal-Surface-and-Obstacles

DDA/CIE-project

MATLAB

lambda-lock

Fast CRC64 implementation from rust

libcrc64

graphics-final

CMake

keeper-core2

LGU-LUG

loom4c

locksmith's playground

dch_joking

喵喵喵~

Several simple implements of functional queue data structures in Elixir.

exqueue

Development environment for TiFlash

tiflash-env

Shell

vEB_tree

The giant data structure of van Emde Boas tree.

reuse-ir

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

pag-final-evaluation-cc24

OCaml

reuse-runtime

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

pc2mesh

pure C implementation of CRC64 with SIMD acceleration

libcrc64-c

SCC

Tracks my paper reading status

password

my own password keeper

docker-spark

frontend

Paper-Reading

Bidi-Parser

(Thesis) Bidirectional Parsing