quadhier Goto Github PK

aos_course_info

advanced os course info & some os papers

calculator

This is a simple calculator using recursive decent parsing.

cmm

A CMM interpreter

color-theme-molokai

An Emacs port of the Vim port of the Monokai color scheme for TextMate.

coreutils-base64

Code for base64 encode/decode from gnu coreutils

cs356_jgrandebenchmark

Java Grande Benchmark Tool

from

git-experiment

This is a repo for doing experiments on git and github.

hotspot-demos

intellij-line-marker

Intellij plugin for marking specific lines of Java source code files.

interesting-code-snippets

jacoco-subtractor

Subtract one jacoco exec file data from another

jdk

JDK main-line development https://openjdk.org/projects/jdk

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

jpf-wiki-sync

Repository that gets synchronized with the wiki on jpf-core

kidcs

simple http client and server

kidftp

simple ftp client and server

mclab-www

McLab website

qnotes

quadhier's study notes

roadrunner

rustlings

[quadhier's solutions for release-4.5.0] :crab: Small exercises to get you used to reading and writing Rust code!

ssabook

Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).

tencentkona-8

Tencent Kona is a no-cost, production-ready distribution of the Open Java Development Kit (OpenJDK), Long-term support(LTS) with quarterly updates. Tencent Kona serves as the default JDK internally at Tencent Cloud for cloud computing and other Java applications.

to

unislebackend

This is the backend for social application Unisle.

vscode-java

Java Language Support for Visual Studio Code