ilinum Goto Github PK

adera

advent-of-code

barrelfish

Mirror of the official Barrelfish OS repository.

chess

A simple chess implementation

chessai

Implementation of Chess AI

code-golf

Repo with code-golf implementations

compose

Define and run multi-container applications with Docker

cs312-review

cs373

cs439_scripts

Scripts written for CS 439 (Operating Systems) class

dining-philosophers-akka

Solution to the Dining Philosophers Problem using akka

fibonacci

fivethings

A web app to keep track of my daily life (five things at a time)

go-lang-idea-plugin

Google Go language IDE built using the IntelliJ Platform

intellij-scala

Scala plugin for IntelliJ IDEA

kind-projector

Compiler plugin for making type lambdas (type projections) easier to write

livegrep

Interactively grep source code. Source for http://livegrep.com/

mypy

Optional static typing for Python 2 and 3 (PEP484)

mypy-protobuf

open source tools to generate mypy stubs from protobufs

pandemic_helper

helper for pandemic board game

presently

Android app for recording gratitude journal entries [IN PROGRESS]

python-langserver

Language server which talks LSP via JSONRPC for Python.

scala

The Scala programming language

scalaz

An extension to the core Scala library for functional programming.

swe-blog

Blog for CS 373 class

typed_ast

typeshed

Collection of library stubs for Python, with static types

typing

Work related to PEP 484: typing.py (released via PyPI) and issue tracker

utacm_icpc_autojudge

Auto Judge for UTACM's Programming Contests

werewolves-app

Android app to assign roles in Werewolves board game