languagefun/libcppa
A C++11 actor library
Developer Profile
languagefun
Discovered public repositories for languagefun in the GitHub catalog.
languagefun/libbf
Bloom filters for C++11
languagefun/thuthesis
LaTeX Thesis Template for Tsinghua University
languagefun/stp
Simple Theorem Prover.
languagefun/ydiff
a language-aware program comparison tool
languagefun/rust
a safe, concurrent, practical language
languagefun/kodkod
Kodkod relational model finder
languagefun/Halide
a language for image processing and computational photography