✨ Standard library for JavaScript and Node.js. ✨

A keyboard layout built for comfort and speed

Arno's Engram v2.0 ("Engram") layout is an optimized key layout for touch typing in English based on ergonomic considerations, with a protocol and software for creating new, optimized key layouts i…

The smartest way to learn touch typing and improve your typing speed.

A computer algebra system written in pure Python

Source code for the Online-Go.com web interface

Scientific computing in Lean 4

Linux kernel source tree

Modeling the propagation of logically constrained beliefs through networks of rational agents with Markov Chains.

SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]

This is a summary of my contributions to OpenCV library under Google Summer of Code 2023.

Fork of SymPy to facilitate collaborating on PRs

ETH Robustness Analyzer for Deep Neural Networks

Breaching privacy in federated learning scenarios for vision and text

Algorithms to recover input data from their gradient signal through a neural network

Distributed K-FAC preconditioner for PyTorch

Parsl - a Python parallel scripting library

Globus Compute: High Performance Function Serving for Science

An open source, turn-based strategy game with a high fantasy theme.

dominion game engine and simulator

A computer algebra system written in pure Python

Jack polynomials with Python.

A course recommendation system for the Claremont Colleges.