QRWells

Qirui Wang's repositories

bf-jit

bfインタプリタ作って高速化を目指す

Language:RustMIT300

LibUringSharp

A C# wrapper for the Linux io_uring API.

Language:C#MIT300

IoRingSharp

A simple wrapper around the I/O Ring API on Windows 11.

Language:C#MIT200

elemental

Language:C++MIT100

findiff-cjk

字体の異なる漢字を探す間違い探しゲームです。

Language:Svelte100

lmntal-language-server

LMNtal language server

Language:RustMIT100

lmntal-vscode

Language:TypeScriptMIT100

visual-cpu

Language:RustMIT100

alds_cpp

Language:C++MIT000

c2lmn

A translator from a subset of C to LMNtal.

Language:ANTLRMIT000

enhancing-your-language-with-lsp

Language:TypeScriptMIT000

graphew

Language:RustMIT000

HyLaGI

HydLa Guaranteed Implementation

NOASSERTION000

IPC4Net

Language:C#MIT000

lavit

LMNtal IDE

Language:JavaNOASSERTION000

lmntal-compiler

LMNtal Compiler

Language:JavaNOASSERTION000

MapReduce

Language:C#MIT000

model-checker

Language:RustMIT000

NativeLib

Language:C#MIT000

oceanet

基于eventloop的java非阻塞网络库，实现了事件驱动，无锁的基于最小堆的定时器，便于扩展的pipeline机制以及内存池

Language:Java000

PanamaUring

使用jdk19的panama为java提供io_uring的绑定，统一文件IO和网络IO的模型，提供一套易用的异步IO API

Language:JavaMIT000

ProgramEqProof

Language:F#MIT000

puki-converter

Language:TypeScriptMIT000

QRWells

Personal repo.

000

QRWells.github.io

Language:TypeScriptMIT000

slco

MIT000

slides

slides repo

Language:VueMIT000

uni-theme

A polylux theme inspired from university theme

Language:TypstMIT000

webHydLa

a web interface of HydLa

NOASSERTION000

WellNet

Language:C#MIT000