Stars
Content of Online Encyclopedia of Integer Sequences (OEIS)
Code to automatically prove or verify estimates in analysis
My own Prompts for Custom instructions ChatGPT
The event-collector is a set of simple and scalable applications designed to manage consumption and initial storage of analytic events.
A Python package for calculating and performing basic manipulations on symmetric polynomials.
A simple command-line interface for ChatGPT API written in Rust ⚡️
Python Script to find the roots of a Cubic Equation
Jitsu is an open-source Segment alternative. Fully-scriptable data ingestion engine for modern data teams. Set-up a real-time data pipeline in minutes, not days
Continuous forward and backward TASEP simulation
CLI scripts to help editing, viewing and printing many filetypes. Incl a Spritz-like CLI reader too.
A website for the Focused Research Group in Integrable Probability
Official website for Department of Mathematics, University of Virginia