ricky136973
Follow
Highlights
- Pro
Stars
An exquisite superscalar RV32GC processor.
A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
Integrate Magisk root and Google Apps into WSA (Windows Subsystem for Android)
A WIP automatic family tree for Warrior Cats series.
Extensions to the cubical stdlib category theory for categorical logic/type theory
๐๐ฎ๐๐ฎ, ๐๐ป๐ฎ๐น๐๐๐ถ๐ฐ๐ & ๐๐. Modern alternative to Snowflake. Cost-effective and simple for massive-scale analytics. https://databend.com
Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory
Hazel, a live functional programming environment with typed holes
a proof-of-concept programming language based on Call-by-push-value
A notebook app integrated with todo lists utility. Developed with Rust, WebAssembly, Yew and Trunk.
A handy and powerful tool for TAs in JI to handle works through Gitea, Canvas, and JOJ.
Learn Rust dark magics by implementing an expression framework in database systems
ๅญๅจๅๆๅญฆๆดพ็ๅฒๅญฆ๏ผๆ่๏ผๆไนrepository
[WIP] An expression based data notation, aimed at transpiling itself to any cascaded data notation.
A Frida script to make your Arcaea play with score counting down from 10000000 or FPM. It is for Andorid!
ไธไธช็จ python ๅ็ๆซ้ทใ๏ผๆฏๅๅญฆๆถ็็ปไน
Place of personal tampermonkey scripts. Most for school work.
ไธไธชๅบไบ requests ๅ python-docx ็ไธ็ฑณๆ่ฒ่ฏๆต้้ขๆด็็จๅบ
Place of personal cpp code for OI (Olympiad in Informatics)