Explore projects
-
Shuangyi Tong / KOS
GNU General Public License v3.0 onlyKOS ("Chaos") is an experimental operating system kernel.
Updated -
-
Yihui Yan / KOS
GNU General Public License v3.0 onlyKOS ("Chaos") is an experimental operating system kernel.
Updated -
Libraries / phpCAS
Apache License 2.0Updated -
Bounds calculation scripts and toolchain for the HopliteBuf FPGA 2019 paper.
Updated -
A 2D puzzle math game made in C++ using the SDL2 graphics library.
UpdatedUpdated -
Di Sang / KOS
GNU General Public License v3.0 onlyKOS ("Chaos") is an experimental operating system kernel.
Updated -
-
caesr-pub / jekyll-scholar-extras
MIT LicenseExtras (custom formatting) for jekyll-scholar.
Updated -
Core development branch of SPINS, the parallelized, spectral solver for the incompressible Navier-Stokes equations. See https://uwspace.uwaterloo.ca/handle/10012/5926 and http://onlinelibrary.wiley.com/doi/10.1002/fld.3788/abstract.
Updated -
Ziyang Shan / KOS
GNU General Public License v3.0 onlyKOS ("Chaos") is an experimental operating system kernel.
Updated -
Updated
-
Updated
-
David Jao / Coq platform
Creative Commons Zero v1.0 UniversalBinary installers for Coq on Windows / Mac.
Updated -
Fork of SPINS_main for parallelized weakly non-hydrostatic shallow water code.
Updated -
-
ist-unix / CAS-server
Apache License 2.0Jasig CAS: http://www.jasig.org/cas Cloned from https://github.com/Jasig/cas
Updated -
Updated
-
Updated