EB1A Green Card Template for Self-Petition

A collection of formalized statements of conjectures in Lean.

Transformer Grammars: Augmenting Transformer Language Models with Syntactic Inductive Biases at Scale, TACL (2022)

🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training.

Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/

pystitcher stitches your PDF files together, generating nice customizable bookmarks for you using a declarative markdown file as input

Swarm training framework using Haiku + JAX + Ray for layer parallel transformer language models on unreliable, heterogeneous nodes

Modernity meets insane extensibility. The future of organizing your life in Neovim.

⏳🛡 Pythonic universal errors-and-erasures Reed-Solomon codec to protect your data from errors and bitrot. Includes a future-proof zero-dependencies pure-python implementation 🔮 and an optional spee…

Differentiable Forth Interpreter

Convert scans of handwritten notes to beautiful, compact PDFs

Chess reinforcement learning by AlphaGo Zero methods.

Python programs, usually short, of considerable difficulty, to perfect particular skills.

A garden for scikit-learn compatible trees

Relevance Vector Machine implementation using the scikit-learn API.

Toolbox for Bayesian Optimization and Model-Based Optimization in R

Domain specific language for configuration spaces in Python. Useful for hyperparameter optimization and algorithm configuration.

Hyper-parameter optimization for sklearn

A Python implementation of global optimization with gaussian processes.

Distributed Asynchronous Hyperparameter Optimization in Python

Simple Exercises in Haskell, using HSpec

Oxford Deep NLP 2017 course

Program learning to play Flappy Bird by machine learning (Neuroevolution)

Super Resolution for images using deep learning.

📚 List of awesome university courses for learning Computer Science!

A package for capturing and analyzing network flow data and intraflow data, for network research, forensics, and security monitoring.

A curated list of awesome remote jobs and resources. Inspired by https://github.com/vinta/awesome-python

www.nicohood.de

Developer-first error tracking and performance monitoring