Distribute and run LLMs with a single file.

Train 774M, 1.5B models with the Google's S3 optimizer

VSCode extension for code suggestion

VSCode extension for code suggestion

A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]

An implementation of substructural intuitionistic logic focused on forward chaining

Live-code music in Haskell!

Safety Verification of Deep Neural Networks

Java port of the C++ library libnoise.

an alternative to Markov chain Monte Carlo

Tiling window manager for Mac OS X.

A type theory based theorem proving library