8000 timtadh (Tim Henderson) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View timtadh's full-sized avatar
🔥
it's a trap!
🔥
it's a trap!

Organizations

@hacsoc @cwru-compilers @cwruacm

Block or report timtadh

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
Showing results

A complete end-to-end pipeline for LLM interpretability with sparse autoencoders (SAEs) using Llama 3.2, written in pure PyTorch and fully reproducible.

Python 618 38 Updated Mar 23, 2025

Tools and standards for conducting and evaluating research in software engineering

JavaScript 309 70 Updated Jul 2, 2025

Source code and artifact of "Energy Testing Oracle" project

Python 1 Updated Mar 14, 2023

Generate applications powered by your database.

Go 501 10 Updated Jan 6, 2023

Phaser is a fun, free and fast 2D game framework for making HTML5 games for desktop and mobile web browsers, supporting Canvas and WebGL rendering.

JavaScript 38,139 7,123 Updated May 29, 2025

Website for "A Survey of Machine Learning for Big Code and Naturalness"

CSS 290 85 Updated Feb 7, 2025

Dynamic Instrumentation Tool Platform

C 2,858 588 Updated Jul 10, 2025

Vitess is a database clustering system for horizontal scaling of MySQL.

Go 19,825 2,216 Updated Jul 8, 2025

Data-flow testing coverage for Java

Java 19 7 Updated Mar 27, 2024

A fast, parallel test case minimization tool.

C 962 69 Updated Dec 24, 2020

Regexp based tool for mutating generic source code across numerous languages

Python 141 29 Updated Jul 24, 2024

A simple and easy-to-use library to enjoy videogames programming

C 27,143 2,577 Updated Jul 8, 2025

Library for interacting with LLVM IR in pure Go.

Go 1,229 80 Updated Dec 6, 2024

Universally Unique Lexicographically Sortable Identifier (ULID) in Go

Go 4,756 176 Updated Jun 9, 2025

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Python 32,736 3,087 Updated Jul 10, 2025

Module for converting between datetime.timedelta and Go's time.Duration strings.

Python 34 15 Updated May 19, 2025

An experimental language which adds functional programming features to Go.

Go 1,237 35 Updated Sep 19, 2022

A Tasty Treat For All Your Database Needs

Go 1,490 253 Updated Jun 26, 2024

Vim/Nvim client for GhostText - Edit browser text areas in Vim/Neovim

Python 340 13 Updated Feb 10, 2022

Neovim client library and GUI, in Qt5.

C++ 1,920 173 Updated Jan 22, 2025

Phosphor: Dynamic Taint Tracking for the JVM

Java 177 76 Updated Jun 17, 2025

A simple, fast and user-friendly alternative to 'find'

Rust 38,657 901 Updated Jul 10, 2025

⚡ From finding text to search and replace, from sorting to beautifying text and more 🎨

Shell 10,193 712 Updated Jun 5, 2024

Convert scans of handwritten notes to beautiful, compact PDFs

Python 4,831 351 Updated Mar 20, 2024

Go package implementing bitsets

Go 1,430 187 Updated Jun 1, 2025

A curated selection of blog posts on Go

8,002 573 Updated Apr 28, 2025
Go 488 70 Updated May 8, 2025

Community outreach Working Group

132 21 Updated Dec 25, 2018

Winamp 2 reimplemented for the browser

TypeScript 10,573 715 Updated Jul 10, 2025
Next
0