Beast code in Giters

Jiahao Li's repositories

Language:RoffGPL-2.04 20

Student teamworks summary repository for USTC FOPL lecture in spring, 2018.

Language:Lua000

Language:C++GPL-2.0000

000

Language:CSS000

Language:Haskell010

Language:Shell000

Flexible I/O Tester

Language:CGPL-2.0010

Language:GnuplotGPL-2.0000

Linux 101 学生课程教材与讲义

Language:ShellCC-BY-SA-4.0010

Documents about how to use repos on mirrors.ustc.edu.cn.

Language:PythonNOASSERTION000

Language:C010

Language:Python010

reusable utility scripts

Language:C++020

Language:TeX000

CoqIDE: syntax highlighting/asynchronous proof/multi-buffer editing/window toggling

Language:PythonMIT000

An undelete tool for the XFS filesystem.

Language:TclGPL-3.0010