-
NetworkManager-l2tp Public
Forked from nm-l2tp/NetworkManager-l2tpL2TP and L2TP/IPsec support for NetworkManager
C GNU General Public License v2.0 UpdatedAug 15, 2019 -
-
-
-
ctoys Public
A collection of C codes that I had written during my undergraduate years
UpdatedFeb 12, 2019 -
-
-
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedNov 6, 2018 -
lkwq007.github.io Public
Okay, this id sounds kind of Chunibyo. However, I have used this id for years. I intended to make an academic page from scratch, but I do not have enough time.
JavaScript MIT License UpdatedOct 22, 2018 -
rockstar-ml Public
Rockstar interpreter in OCaml
-
rockstar Public
Forked from RockstarLang/rockstarThe Rockstar programming language specification
MIT License UpdatedAug 5, 2018 -
opengl-fdtd Public
Compensated ADE-FDTD implemented by OpenGL compute shader
Apache License 2.0 UpdatedJul 17, 2018 -
OceanSim Public
Part of my bachelor thesis, rewrote for this repo
-
glslang-format Public
The glslang-format program changes the appearance of a GLSL/HLSL program by inserting or deleting whitespace
BSD 3-Clause "New" or "Revised" License UpdatedJul 11, 2018 -
gl-helper Public
Header-only C++ wrapper for modern OpenGL
C++ GNU Lesser General Public License v3.0 UpdatedJul 9, 2018 -
how-does-debugger-work Public
How Does Debugger Work - A glance on ptrace - My presentation for OS Concept Course
C MIT License UpdatedJun 25, 2018 -
ocaml.org Public
Forked from ocaml/v2.ocaml.orgImplementation of the ocaml.org website.
OCaml Other UpdatedJun 23, 2018 -
iot-smart Public
Single-page application for Modern Mobile Communication Application System Experiment in Zhejiang University
-
bucklescript-playground Public
Forked from rescript-lang/playgroundBuckleScript playground
JavaScript UpdatedMay 25, 2018 -
-
-
Sokoban-FPGA-core Public
game controller for Sokoban game implemented in FPGA with cocotb testbench
-
PAT-Basic-Level Public
"AC" Solutions for Zhejiang University Porgramming Ability Test Basic Level Practise with C
-
-
Course Project for Database System Concepts
-
Latte-Dock Public
Forked from psifidotos/Latte-DockLatte is a dock based on plasma frameworks that provides an elegant and intuitive experience for your tasks and plasmoids
QML GNU General Public License v2.0 UpdatedApr 22, 2017 -
-
-
-
{{ message }}