Pinned Repositories
libmill
Go-style concurrency in C
llvm-clang-samples
Examples of using the LLVM and Clang compilation libraries and tools
machine-learning-cheat-sheet
Classical equations and diagrams in machine learning
OpenRCT2
An open source clone of Roller Coaster Tycoon 2 built by decompiling the original game one bit at a time.
rust
a safe, concurrent, practical language
stp
Simple Theorem Prover.
swift
The Swift Programming Language
thuthesis
LaTeX Thesis Template for Tsinghua University
ydiff
a language-aware program comparison tool
z3
The Z3 Theorem Prover
languagefun's Repositories
languagefun/libmill
Go-style concurrency in C
languagefun/llvm-clang-samples
Examples of using the LLVM and Clang compilation libraries and tools
languagefun/machine-learning-cheat-sheet
Classical equations and diagrams in machine learning
languagefun/OpenRCT2
An open source clone of Roller Coaster Tycoon 2 built by decompiling the original game one bit at a time.
languagefun/rust
a safe, concurrent, practical language
languagefun/stp
Simple Theorem Prover.
languagefun/swift
The Swift Programming Language
languagefun/thuthesis
LaTeX Thesis Template for Tsinghua University
languagefun/ydiff
a language-aware program comparison tool
languagefun/z3
The Z3 Theorem Prover
languagefun/ActionScript4
ActionScript 4 specification archive
languagefun/avmplus
Source code for the Actionscript virtual machine
languagefun/c2go
C to Go translation tool supporting Go toolchain migration
languagefun/CppCon2015
Presentation Materials from CppCon 2015
languagefun/cxxnet
CXXNET, yet another neural network toolkit
languagefun/edolamodelingplatform
edola modeling platform
languagefun/Halide
a language for image processing and computational photography
languagefun/i2p.www
Website
languagefun/kodkod
Kodkod relational model finder
languagefun/libbf
Bloom filters for C++11
languagefun/libcppa
A C++11 actor library
languagefun/libsass
A C/C++ implementation of a Sass compiler