amateur translation project of Grothendieck's EGA.

🔥 🔥 🔥 Open Source Airtable Alternative

Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 500 universities from 70 countries including Stanford, MIT, Harvard, and Cambridge.

YOLOv5 🚀 in PyTorch > ONNX > CoreML > TFLite

The largest collection of PyTorch image encoders / backbones. Including train, eval, inference, export scripts, and pretrained weights -- ResNet, ResNeXT, EfficientNet, NFNet, Vision Transformer (V…

Implementation / replication of DALL-E, OpenAI's Text to Image Transformer, in Pytorch

An open source reinforcement learning framework for training, evaluating, and deploying robust trading agents.

An open source reinforcement learning framework for training, evaluating, and deploying robust trading agents.

QuestDB is a high performance, open-source, time-series database

A decade of trend following returns in crypto-asset markets

Deep learning modelling of orderbooks

High performance Rust API for KDB+

Fear and volatility in crypto markets

A decade of trend following returns in crypto-asset markets

Deep learning modelling of orderbooks

Lean Theorem Prover

Agda is a dependently typed programming language / interactive theorem prover.

API clients for the Globe API in various programming languages

A High Dynamic Range (HDR) Histogram

jq, an implementation of q on the JVM

Source for the TechEmpower Framework Benchmarks project

Artio - Resilient High-Performance FIX and FIXP Gateway

Simple Binary Encoding (SBE) - High Performance Message Codec

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

A low-latency, high-throughput inter-task communication library

A netmap-based packet layer for distributing and filtering traffic.

Lazydata: Scalable data dependencies for Python projects

Pervasive Attention: 2D Convolutional Networks for Sequence-to-Sequence Prediction

A general-purpose encoder-decoder framework for Tensorflow

Neural Sentiment Classification