Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

A Mastodon-compatible, ActivityPub-speaking server in Rust

Defines a common protocol for language servers.

Clingo on the web

A curated list of articles that cover the software engineering best practices for building machine learning applications.

Repository for *Hashing it Out: A Survey of Programmers’ Cannabis Usage, Perception, and Motivation*, published at ICSE 2022

demonstrations of ES6/ES7 code styles with a Sudoku solver

📋 Survey papers summarizing advances in deep learning, NLP, CV, graphs, reinforcement learning, recommendations, graphs, etc.

📚 Papers & tech blogs by companies sharing their work on data science & machine learning in production.

An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.

Best of POPL (BOP) Reading Group Memoirs

Rust packages and for Toybox; separately versioned from Python code.

Old Clowdr versions 1 & 2 from 2020

Code for building and experimenting on saliency maps for RL agents.

Learning about machine learning in Rust

Adaptive Experimentation Platform

A modern Python application packaging and distribution tool

SMAC: The StarCraft Multi-Agent Challenge

Code and data for Krafft, Della Penna, and Pentland (2018) "An Experimental Study of Cryptocurrency Market Dynamics", CHI

A short introduction to causal inference

StarCraft II Learning Environment

StarCraft II Client - C++ library supported on Windows, Linux and Mac designed for building scripted bots and research using the SC2API.

Rust bindings for the C++ api of PyTorch.

StarCraft II Client - protocol definitions used to communicate with StarCraft II.

A parser combinator library for Rust

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.