Name: Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form
Type: User
Company: @vnu-frsl @vnu-sme
Bio: WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLT, MDE, and symbolic computation. BOINC cruncher (UET-VNU-2022).
Location: Ichvers, Esteh, Enurbahnhof, Azeroy
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form's Projects
A Python-based low-modeling low-code platform for smart software
Bài tập lớn OOP - Bomberman
Bookwarm Project - bài tập lớn môn CSDL
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust. Forked for Vietnamese translations.
Should have been archived, but reopened to receive issues/reports.
Type theory (mostly non-technical) introduction in Vietnamese.
A cross-platform, reimplementation of Notepad++
Nhấn nút phóng to màn hình để thấy điều kì diệu
Patcher for behavior, character, and skeleton project files for Skyrim Special Edition.
A clean and minimal template for your CV or résumé. Forked for personal use.
Silly DSA Coursework.
INT3402 course project.
Tensors and Dynamic neural networks in Python with strong GPU acceleration
Hackerrank-ing in Rust.
Mario Statemachine Testing with Cucumber.
The templates that ship with the Typst web app.
A new markup-based typesetting system that is powerful and easy to learn.
what doth debian?