Skip to content
View madrury's full-sized avatar

Highlights

  • Pro

Block or report madrury

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

A web-first, cross-platform programming language with an optimizing compiler

JavaScript 406 15 Updated Feb 20, 2024

The modern API client that lives in your terminal.

Python 4,389 62 Updated Sep 5, 2024

Website and bots for Baalorlord

Python 27 11 Updated Sep 3, 2024

A fast entity component system (ECS) for C & C++

C 6,208 438 Updated Sep 4, 2024

A huge blocklist of sites that contain AI generated content for uBlock Origin & uBlacklist.

1,058 78 Updated Aug 31, 2024

Fast, correct Python JSON library supporting dataclasses, datetimes, and numpy

Python 6,022 209 Updated Aug 9, 2024

A Philosophy of Math Education

12 Updated Mar 15, 2024

A Python package for generating custom Magic The Gathering cards

Python 17 Updated Oct 13, 2023

A statistical library designed to fill the void in Python's time series analysis capabilities, including the equivalent of R's auto.arima function.

Python 1,572 231 Updated Aug 19, 2024

perfect programming language

11,211 342 Updated Aug 24, 2024

A proof of false in Coq.

Coq 92 1 Updated Nov 1, 2019
Python 85 16 Updated Sep 2, 2024

Dafny is a verification-aware programming language

C# 2,872 255 Updated Sep 4, 2024

Minimal implementations for dependent type checking and elaboration

Haskell 599 34 Updated Aug 13, 2024

A python library to build Model Trees with Linear Models at the leaves.

Jupyter Notebook 344 53 Updated Jul 19, 2024

Tutorial for extracting the GameBoy ROM from photographs of the die.

1,117 29 Updated Jun 23, 2024

A cross platform package to do curses-like operations, plus higher level APIs and widgets to create text UIs and ASCII art animations

Python 3,615 237 Updated Sep 3, 2024

A package for interfacing with Slay the Spire through Communication Mod, plus a Reinforcement Based Drafting AI

Python 3 Updated Nov 25, 2019

Algorithmic Drafting for Magic the Gathering

Jupyter Notebook 30 4 Updated Apr 23, 2020
Jupyter Notebook 199 93 Updated Dec 11, 2023

Pen and paper exercises in machine learning

TeX 1,908 139 Updated May 21, 2024

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

Rust 9,790 212 Updated Sep 5, 2024

Implementation of PartialZip in Rust

Rust 85 6 Updated Sep 5, 2024

A site for visualizing card win rates for Magic: The Gathering limited play, powered by 17Lands data

TypeScript 33 10 Updated Jul 30, 2024

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

Rust 29,058 1,825 Updated Sep 5, 2024

q - Run SQL directly on delimited files and multi-file sqlite databases

Python 10,180 421 Updated Jul 23, 2024

a relational algebra shell

Python 20 1 Updated May 14, 2022

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…

Jupyter Notebook 2,620 118 Updated Sep 3, 2024

Fixes mojibake and other glitches in Unicode text, after the fact.

Python 3,753 120 Updated Sep 3, 2024

Lightning ⚡️ fast forecasting with statistical and econometric models.

Python 3,841 266 Updated Sep 3, 2024
Next