Skip to content
View WuTheFWasThat's full-sized avatar

Block or report WuTheFWasThat

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 fast, batteries-included static-site generator that transforms Markdown content into fully functional websites

TypeScript 7,696 2,594 Updated Jan 6, 2025

Get up and running with Llama 3.3, Mistral, Gemma 2, and other large language models.

Go 106,183 8,490 Updated Jan 6, 2025

Claude vim plugin for AI pair programming - a hacker's gateway to LLMs

Vim Script 254 13 Updated Dec 28, 2024

The break time reminder app

JavaScript 4,755 454 Updated Jan 4, 2025

Sparse and discrete interpretability tool for neural networks

Python 57 3 Updated Feb 12, 2024
Python 19 4 Updated Sep 24, 2024

Create feature-centric and prompt-centric visualizations for sparse autoencoders (like those from Anthropic's published research).

HTML 175 37 Updated Dec 16, 2024

watchpoints is an easy-to-use, intuitive variable/object monitor tool for python that behaves similar to watchpoints in gdb.

Python 519 20 Updated Dec 23, 2024

The boundary of neural network trainability is fractal

Jupyter Notebook 179 21 Updated Feb 12, 2024

A completion plugin for neovim coded in Lua.

Lua 8,325 410 Updated Jan 6, 2025

A debugging and profiling tool that can trace and visualize python code execution

Python 5,683 407 Updated Dec 5, 2024

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

Python 21,899 8,073 Updated Jan 7, 2025

An interactive guide to the game theory of cooperation

JavaScript 5,816 930 Updated Nov 14, 2021

Make expandable explanations!

JavaScript 525 32 Updated Oct 11, 2024

💤 A modern plugin manager for Neovim

Lua 15,718 381 Updated Jan 6, 2025

An introduction to theorem proving in Lean for the impatient.

Lean 120 57 Updated Nov 14, 2024

Neovim support for the Lean theorem prover

Lua 300 28 Updated Jan 6, 2025

Vite + solid templates

TypeScript 458 118 Updated Dec 28, 2024

Lean 4 programming language and theorem prover

Lean 4,927 444 Updated Jan 7, 2025
Python 2,522 310 Updated May 19, 2024

Natural Number Game

Lean 126 38 Updated Dec 30, 2024

Server to host lean games.

TypeScript 220 40 Updated Dec 28, 2024

A dialect of Lisp that's embedded in Python

Python 5,165 372 Updated Jan 4, 2025

Msgpack serialization/deserialization library for Python, written in Rust using PyO3 and rust-msgpack. Reboot of orjson. msgpack.org[Python]

Rust 263 16 Updated Jan 1, 2025

A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! 🎁

Python 3,069 156 Updated Jan 4, 2025

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

Python 12,317 402 Updated Jan 1, 2025

(OLD REPO) Line-by-line profiling for Python - Current repo ->

Python 3,610 257 Updated Oct 26, 2021
Next
Showing results