dolphinwilly Goto Github PK

2019acm-icpc-worldchampion

2048

A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)

algorithms

a repository containing all important algorithms detailedly implemented and explained

basic-algo

leetcode, codeforce, google hash code, google code jam, facebook hacker cup, etc ... all boring stuff

bokeh

Interactive Data Visualization in the browser, from Python

boomerang-lang

A bidirectional programming language for ad-hoc, textual data

bucklescript

A backend for the OCaml compiler which emits JavaScript.

camlp4-to-ppx

Convert from camlp4 + syntax extensions to regular OCaml + extension points and attributes

citra

Nintendo 3DS Emulator

datavisualization

distributed-principles

distributed-systems

dolphin-structures-and-principles

This is a temporary repository containing some the theory and implementation of some structures and principles mainly in distributed computing that I encountered. Therefore, this repository functions as a gist essentially.

dolphinux

An Operating System built from scratch by DolphinWilly base on Linux 0.12

eatery

An open source iOS application for Cornell eateries and dining halls.

frenetic

The Frenetic Programming Language and Runtime System

functional-dependency-check

js_of_ocaml

Compiler from OCaml to Javascript.

lecture-slides

Lecture slides for CS 2043.

math-6510

TeX and PDF files for Math 6510: Algebraic Topology I

mathgen

See http://thatsmathematics.com/mathgen/

minicps

MiniCPS: a framework for Cyber-Physical Systems real-time simulation, built on top of mininet

ocaml-core-interpreter-with-type-inference

oforest

An OCaml version of Forest with extensions

pokemon_go_api

Pokémon GO API in Python

portosnix

CS4411

programminglanguage

z3

The Z3 Theorem Prover