Saul Shanabrook
saulshanabrook
PhD student at @uwplse advised by @gilbo. Previously worked at @Quansight / @quansight-labs, @LineaLabs, @jupyterlab and @burke-software.
Languages
Repos
375
Stars
32
Forks
4
Top Language
Python
Loading contributions...
Top Repositories
Repositories
375Haskell library for representing and manipulating Symbolic Regression Tree
1 Line of code data quality profiling & exploratory data analysis for Pandas and Spark DataFrames.
Plant data scraped from Plants For A Future
personal website and discussions
Optimize floating-point expressions for accuracy
A high-level API for interacting with SMT solvers.
Pydantic model and dataclasses.dataclass generator for easy conversion of JSON, OpenAPI, JSON Schema, and YAML data sources.
Generate JSON Schema documents from Rust code
No description provided.
CaDiCaL SAT Solver
The library provides basic functions to work with Graphviz dot lang from rust code.
DO NOT USE. EXPERIMENTAL.
No description provided.
Run mypy and pyright over millions of lines of code
A toy compiler for NumPy array expressions that uses e-graphs and MLIR
scikit-learn: machine learning in Python
Optional static typing for Python 2 and 3 (PEP 484)
Machine management for a container-centric world
Environment for my beets setup
Combination of multiple linters to run as a GitHub Action or standalone
No description provided.
Toolkit for building governance in your online community
Stone Farm Lane
No description provided.
Load shapefiles into a SQLite (optionally SpatiaLite) database
No description provided.
Eclipse Layout Kernel - Automatic layout for Java applications.
Project Unspeakable
No description provided.
Sync GitHub starred repos to a Raindrop.io collection