rrwright's Stars
chihming/awesome-network-embedding
A curated list of network embedding techniques.
netvl/picopickle
A simple yet extensible shapeless-based serialization library
underscoreio/shapeless-guide
The Type Astronaut's Guide to Shapeless
mewo2/terrain
Fantasy map generator
smackers/smack
SMACK Software Verifier and Verification Toolchain
mckern/portland
New to Portland?
GraphChi/graphchiDB-scala
*Experimental* GraphChi-DB graph database with computational capabilities
GraphChi/graphchi-cpp
GraphChi's C++ version. Big Data - small machine.
ScaleChain/scalechain
A customizable blockchain for altcoins.
GaloisInc/jvm-verifier
The Java Symbolic Simulator, part of SAW.
hseeberger/akka-sse
Akka HTTP now includes Akka SSE, this project is at EOL
jqlang/jq
Command-line JSON processor
sindresorhus/awesome
😎 Awesome lists about all kinds of interesting topics
rikvdkleij/intellij-haskell
IntelliJ plugin for Haskell
dc-js/dc.js
Multi-Dimensional charting built to work natively with crossfilter rendered with d3.js
GraphAlchemist/Alchemy