Highlights
- Pro
Starred repositories
A web-first, cross-platform programming language with an optimizing compiler
The modern API client that lives in your terminal.
A fast entity component system (ECS) for C & C++
A huge blocklist of sites that contain AI generated content for uBlock Origin & uBlacklist.
Fast, correct Python JSON library supporting dataclasses, datetimes, and numpy
A Philosophy of Math Education
A Python package for generating custom Magic The Gathering cards
A statistical library designed to fill the void in Python's time series analysis capabilities, including the equivalent of R's auto.arima function.
Dafny is a verification-aware programming language
Minimal implementations for dependent type checking and elaboration
A python library to build Model Trees with Linear Models at the leaves.
Tutorial for extracting the GameBoy ROM from photographs of the die.
A cross platform package to do curses-like operations, plus higher level APIs and widgets to create text UIs and ASCII art animations
ErinMyLungs / spirecomm
Forked from ForgottenArbiter/spirecommA package for interfacing with Slay the Spire through Communication Mod, plus a Reinforcement Based Drafting AI
Algorithmic Drafting for Magic the Gathering
Pen and paper exercises in machine learning
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
A site for visualizing card win rates for Magic: The Gathering limited play, powered by 17Lands data
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
q - Run SQL directly on delimited files and multi-file sqlite databases
An open-source data logging library for machine learning models and data pipelines. 📚 Provides visibility into data quality & model performance over time. 🛡️ Supports privacy-preserving data collec…
Fixes mojibake and other glitches in Unicode text, after the fact.
Lightning ⚡️ fast forecasting with statistical and econometric models.