8000 dsillman2000 (David Sillman) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View dsillman2000's full-sized avatar

Block or report dsillman2000

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse

Starred repositories

Showing results

LEAN library supporting statistics formalization

Lean 24 13 Updated Nov 6, 2026
< 92B8 div class="col-12 d-block width-full tmp-py-4 border-bottom color-border-muted" >

Open Source FET Design competitor solution the Synopsys / SFT Parasitic Extraction Tool R3D

Rust 6 1 Updated Oct 4, 2026

Stemdeck is an modern stem extraction platform for musicians,producers and hobbyists, designed to isolate vocals, drums, bass, piano and guitar for practice, transcription, remixing, and creative a…

JavaScript 4,373 388 Updated Nov 8, 2026

Catppuccin theme extension for Zensical

CSS 9 1 Updated Sep 8, 2026

Hypermodern Python Cookiecutter

Python 22 10 Updated Nov 2, 2026

DeepSpec: a full-stack codebase for training and evaluating speculative decoding algorithms

Python 7,295 700 Updated Jul 9, 2026
Python 7 3 Updated May 14, 2026

Construct YAML from a directory tree

Go 124 3 Updated Feb 27, 2023

Compiler Backend for LSTS (Typed Macro Assembler)

C 41 2 Updated Aug 22, 2026

Pipeline, warehouse, and visualization tools for investigating the impact of Airbnb short-term rentals on world cities.

Python 16 1 Updated Jun 9, 2023

An HTML to Atlassian Document Format (ADF) converter, written in Rust

Rust 50 12 Updated Jun 15, 2026

Tensors and differentiable operations (like TensorFlow) in Rust

Rust 504 40 Updated Jun 2, 2026
0