hatahet

cs-video-courses

List of Computer Science courses with video lectures.

FlameGraph

Stack trace visualizer

jOOQ

jOOQ is the best way to write SQL in Java

leetcode

Leetcode solutions

EPIJudge

EPI Judge - Preview Release

rewrite

Automated mass refactoring of source code.

john-carmack-plan-archive

Collection of John Carmack’s .plan files

dijkstra-cartography

Using Dijkstra's algorithm ("finding the shortest paths between nodes in a graph") to draw maps :earth_africa:.

checker-framework

Pluggable type-checking for Java

ProgrammingAssignment2

Repository for Programming Assignment 2 for R Programming on Coursera

GridFluidSim3D

A PIC/FLIP fluid simulation based on the methods found in Robert Bridson's "Fluid Simulation for Computer Graphics"

teeceepee

mini-TCP stack in Python, for fun

jspecify

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

java-bullshifier

An open source project by OverOps. Generate massive random Java applications with a command line tool

virtualization-lms-core

A Framework for Runtime Code Generation and Compiled DSLs

concatenation_benchmarks-rs

📈 benchmarking different ways to concatenate strings in rust

actors

Evaluation of API and performance of different actor libraries

type-pollution-agent

pcp

Constraint programming in Rust

java-linq-examples

C#'s 101 LINQ Samples translated to Java

checkerframework-gradle-plugin

Gradle plugin to use the Checker Framework for Java

fun-with-threads

Music-Player

Music player on JavaFx

rtree

Safe, zero-overhead doubly-linked trees in Rust

awesome-rust

A curated list of awesome Rust code and resources.

datasharing

The Leek group guide to data sharing

zig-comply

Struct compliance library

mandelbrot

Mandelbrot generator in Kotlin

ProgrammingAssignment2

Repository for Programming Assignment 2 for R Programming on Coursera

resource_optimization

Resource Optimization via Monte-Carlo