Mani's repositories
react-admin
An admin page implemented in react js.
Language:JavaScript000
xv6-riscv
Xv6 for RISC-V
Language:CNOASSERTION000
formalising-mathematics
Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
Apache-2.0000
ball-clicker
A repo to test around with anime.js
Language:HTML000
ftp_server
An ftp server implemented in C.
Language:C000
ddg-exercises
Assignment skeleton for course on Discrete Differential Geometry (15-458/858)
000
thu-net-imitate
Vue+Flask implementation to imitate THU network login.
DataStructAlgo
Documentation and implementation of many algorithms (mainly in C++).
Language:C++000
MIT000