henszey's Stars
COPT-Public/cuPDLP-C
Code for solving LP on GPU using first-order methods
google/or-tools
Google's Operations Research tools:
d-krupke/cpsat-primer
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
chpoit/snowcat-esp32-controller
jwasham/coding-interview-university
A complete computer science study plan to become a software engineer.
microsoft/WinAppDriver
Windows Application Driver
Z3Prover/z3
The Z3 Theorem Prover
danluu/post-mortems
A collection of postmortems. Sorry for the delay in merging PRs!
henszey/twitch-emoticon-rate
A web page to visualize the live rate of emoticon usage on twitch.tv
rstoyanchev/spring-websocket-portfolio
henszey/etcd-browser
A quick and easy way to view/edit basic keys in etcd.
RabbitMQSimulator/RabbitMQSimulator
RabbitMQ Simulator
eclipse-vertx/vert.x
Vert.x is a tool-kit for building reactive applications on the JVM
spring-projects/spring-data-elasticsearch
Provide support to increase developer productivity in Java when using Elasticsearch. Uses familiar Spring concepts such as a template classes for core API usage and lightweight repository style data access.
SpringDataElasticsearchDevs/spring-data-elasticsearch
Spring Data implementation for ElasticSearch
henszey/battle-scripts
Create an AI for a ship and challenge other AIs for the top spot on the leader board.
torvalds/linux
Linux kernel source tree
iron9light/coffeescript-maven-plugin
A Maven plugin for compiling coffeescript into javascript.
jquery-archive/jquery-mobile
jQuery Mobile Framework
mrdoob/stats.js
JavaScript Performance Monitor
mrdoob/three.js
JavaScript 3D Library.
h5bp/html5-boilerplate
A professional front-end template for building fast, robust, and adaptable web apps or sites.
jquery/jquery-ui
The official jQuery user interface library.
jashkenas/coffeescript
Unfancy JavaScript
jquery/jquery
jQuery JavaScript Library