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. exBOINC cruncher (UET-VNU-2022).
Location: Ichvers, Esteh, Enurbahnhof, Azeroy
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form's Projects
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.
Post Management System.
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
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?