WuTheFWasThat

trilium

Build your personal knowledge base with Trilium Notes

zulip

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

fnm

🚀 Fast and simple Node.js version manager, built in Rust

lazy.nvim

💤 A modern plugin manager for Neovim

scalene

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

copilot.vim

Neovim plugin for GitHub Copilot

nvim-cmp

A completion plugin for neovim coded in Lua.

orjson

Fast, correct Python JSON library supporting dataclasses, datetimes, and numpy

trust

An interactive guide to the game theory of cooperation

hy

A dialect of Lisp that's embedded in Python

viztracer

VizTracer is a low-overhead logging/debugging/profiling tool that can trace and visualize your python code execution.

lean4

Lean 4 programming language and theorem prover

line_profiler

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

git-remote-dropbox

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

weak-to-strong

typeguard

Run-time type checker for Python

automated-interpretability

nutshell

Make expandable explanations!

templates

Vite + solid templates

lean.nvim

neovim support for the Lean theorem prover

ormsgpack

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

sparse_autoencoder

openrlbenchmark

fractal

The boundary of neural network trainability is fractal

lean4game

Server to host lean games.

neurips21-self-supervised-bug-detection-and-repair

Replication Code for "Self-Supervised Bug Detection and Repair" NeurIPS 2021

NNG4

Natural Number Game

GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.

gpt.el

A simple Emacs package for calling instruction-following language models

wave