Rob S's repositories
atom-language-coq
Coq language support for the Atom editor
buildtools
A bazel BUILD file formatter and editor
coq-scaffold
A scaffold for new coq projects
cryptonite
lowlevel set of cryptographic primitives for haskell
cue
Validate and define text-based and dynamic configuration
FStar
Verification system for effectful programs
GamesClass2014
Course materials for ES.S20, The Mathematics of Toys and Games, taught at MIT/ESG in Spring 2014
haddock
Haskell Documentation Tool
haskell
Haskell bindings for TensorFlow
IHaskell
A Haskell kernel for IPython.
kotlinx.collections.immutable
Immutable persistent collections for Kotlin
kotlinx.coroutines
Library support for Kotlin coroutines
kotlinx.serialization
Kotlin multiplatform / multi-format serialization
NetHack
Official NetHack Git Repository
pixel-dungeon
Traditional roguelike game with pixel-art graphics and simple interface
probability
Probabilistic reasoning and statistical analysis in TensorFlow
protobuf
Protocol Buffers - Google's data interchange format
supercollider
An audio server, programming language, and IDE for sound synthesis and algorithmic composition.
type-fest
A collection of essential TypeScript types
xrnx
The official Renoise Lua Scripting repository