yunjeong-lee Goto Github PK

aegean

The source code for the implementation and evaluation of the Aegean replication framework

airspace-jekyll

A port of the Airspace theme by ThemeFisher to Jekyll.

bolt

Bolt is a language with in-built data-race freedom!

concurrency-bugs-examples

Example programs containing concurrency bugs

disel

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

eventbus-plugin

IntelliJ iDEA plugin to work with projects using greenrobot's EventBus library

fixexamples

go

The Open Source Data Science Masters

grammar-tools

Tokenization and parsing Kotlin code using the ANTLR Kotlin grammar

guava

Google core libraries for Java

incubator-singa

Mirror of Apache Singa (Incubating)

infer

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

intellij-community

IntelliJ IDEA Community Edition & IntelliJ Platform

ironclad

The MSR Ironclad project builds provably secure and reliable systems.

kastree

Simple Kotlin Source AST and Syntax Parsing, Editing, and Writing

kotlin

The Kotlin Programming Language.

kotlin.someextensions

Few extensions and utility functions for Kotlin and Android

ktplayground

Experimenting with parsing Kotlin programs

langchain-rag-playground

A simple Langchain RAG application.

leet-code-problems

Leet Code problems

llama3

The official Meta Llama 3 GitHub site

menhir

online-causal-models

Accompanying code for the paper "Learning Causal Models Online"

packrat-debug-experiment

A small library of parsing combinators and syntax for defining parsers based on the portable packrat parsing library by Tony Garnock-Jones.

resyn

slideshow

so-simple-theme

A simple Jekyll theme for words and pictures.

suslik

Synthesis of Heap-Manipulating Programs from Separation Logic

theory-02-examples

Examples for the Theory 2 assignment

theory-03-examples

Examples for the Theory 3 assignment