Pairing natural language of the intro to HoTT book with agda formalization

Lightweight lib for recovering stack trace in exceptions thrown in Kotlin coroutines

The agda-unimath library

Library support for Kotlin coroutines

Reformats Java source code to comply with Google Java Style.

A cellular automaton for studying self-modifying agents which are embedded in their environment

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.

Google core libraries for Java

A fast dependency injector for Android and Java.

derp!

Java implementation of interval trees, using Range from Guava.

Twitter Storm API in Haskell

Personal Guava clone

The Kotlin Programming Language.

Guice and Apache CLI-based injection of flag values.

Template Haskell-based Haskell implementation of protocol buffers

A website to help manage the logistics of large, short-term educational programs

Distributed and fault-tolerant realtime computation: stream processing, continuous computation, distributed RPC, and more

Solutions to problems for the 2011 World Finals of the International Collegiate Programming Contest.

Inductive-style graphs in Java, modeled after Haskell's fgl.

Java permutation groups

University of Chicago Scav Hunt 2011, item 77

University of Chicago Scav Hunt 2011, item 250

University of Chicago Scav Hunt 2011, item 252

University of Chicago Scav Hunt 2011, item 115