Rob S

A machine learning software for extracting information from scholarly documents

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.

Conscrypt is a Java Security Provider that implements parts of the Java Cryptography Extension and Java Secure Socket Extension.

Course materials for ES.S20, The Mathematics of Toys and Games, taught at MIT/ESG in Spring 2014

A C++ GPU Computing Library for OpenCL

Coq language support for the Atom editor

A scaffold for new coq projects

Command line interface to the NVIDIA OpenCL compiler

A collection of essential TypeScript types

No description provided.

Protocol Buffers - Google's data interchange format

Haskell Documentation Tool

The modern web developer’s platform

Traditional roguelike game with pixel-art graphics and simple interface

Probabilistic reasoning and statistical analysis in TensorFlow

Validate and define text-based and dynamic configuration

Haskell bindings for TensorFlow

A Haskell kernel for IPython.

lowlevel set of cryptographic primitives for haskell

The official Renoise Lua Scripting repository

A python package of connectors for the progressive community.

Making text a first-class citizen in TensorFlow.

Official NetHack Git Repository

An audio server, programming language, and IDE for sound synthesis and algorithmic composition.

Verification system for effectful programs

Immutable persistent collections for Kotlin

Kotlin multiplatform / multi-format serialization

Library support for Kotlin coroutines

A BERT model for scientific text.