skkeem

Sungkook Kim's starred repositories

exchange-core

Ultra-fast matching engine written in Java based on LMAX Disruptor, Eclipse Collections, Real Logic Agrona, OpenHFT, LZ4 Java, and Adaptive Radix Trees.

Language:JavaApache-2.0203400

bazel-latex

Bazel rules for building LaTeX documents with TeX Live.

Language:PythonNOASSERTION300

abseil-cpp

Abseil Common Libraries (C++)

Language:C++Apache-2.01460800

andersen

Andersen's inclusion-based pointer analysis re-implementation in LLVM

Language:C++MIT21100

Examples

A collection of TLA⁺ specifications of varying complexities

Language:TLANOASSERTION125900

type-systems

Implementations of various type systems in OCaml.

Language:OCamlUnlicense152100

pry

A runtime developer console and IRB alternative with powerful introspection capabilities.

Language:RubyNOASSERTION674900

discourse

A platform for community discussion. Free, open, simple.

Language:RubyGPL-2.04149500

opensourcefriday

🚲 Contribute to the open source community every Friday

Language:HTMLMIT117600

shellrb

A unix-like shell built in Ruby

Language:RubyMIT3400

react

The library for web and native user interfaces.

Language:JavaScriptMIT22634500

metasploit-framework

Metasploit Framework

Language:RubyNOASSERTION3357500

infer

A static analyzer for Java, C, C++, and Objective-C

Language:OCamlMIT1486600

hyperloop

Hyperloop is a simple rack-based Ruby web server, which uses pre-forking and threading for concurrency.

Language:RubyMIT1800

intro-rack-notes

Intro to Rack

Language:Ruby3700