nlandolfi

bourbaki

sheets describing mathematical concepts, terms, results and notation; source code for the bbk tool

littex

LitTex is an archival markup language for math and the classics; contains the lit command

set

golang set and binary relation interfaces and structures

symgt

group testing for exchangeable outcomes, paper in revision

acc2022treelinearcascades_stocks

auth

builds

catkin_ws

cs228-notes

Course notes for CS228: Probabilistic Graphical Models.

DefinitelyTyped

The repository for high quality TypeScript type definitions.

driving

companion code for autonomous driving sims

driving-belief

duo

companion code for the RSS workshop paper "Exploring Active Human Goal Inference in Shared Autonomy and Autonomous Driving"

duo-go

euler

discrete math and algorithms problems from project euler

flexbox-react

Unopinionated, standard compliant flexbox component. No propietary APIs. Nothing but flexbox.

google-cloud-go

Google Cloud APIs Go Client Library

graph

graphql-go

guile

model economic structures: alternatives, preference, choice

iact_nick_control

istio

Sample code, build and tests and governance material for the Istio project.

latexrun

A 21st century LaTeX wrapper

mdp

mixer

NHSgen

Takes responses to the NHS application for Menlo-Atherton HS and generates application forms.

prob

golang probability interfaces and structures

proxy

rllab

rllab is a framework for developing and evaluating reinforcement learning algorithms, fully compatible with OpenAI Gym.

slbo

Algorithmic Framework for Model-based Deep Reinforcement Learning with Theoretical Guarantees