Tiled scrollable window management for Gnome Shell

Command-line sampling profiler for macOS and Linux

Tools, specifically for running tactics in the background, with minimal dependencies

Type Checking in Lean 4

ShiftAddLLM: Accelerating Pretrained LLMs via Post-Training Multiplication-Less Reparameterization

PCGEx is a free (libre) Unreal 5 plugin that expands PCG capabilities. It offers a variety of high-performance nodes; with an edge for building relational graphs (Freeform, Delaunay, Voronoi, MST e…

Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (2024)

a comfyui custom node for GPT-SoVITS! you can voice cloning and tts in comfyui now

Tiny AutoEncoder for Stable Diffusion

Linux Application Modding Platform. A native Linux mod manager.

A high performance rust-powered UI layout library

Verified Rust for low-level systems code

Detail-Oriented Pixelization based on Contrast-Aware Outline Expansion.

A simple, in-memory font database with CSS-like queries.

An SVG rendering library.

Creusot helps you prove your code is correct in an automated fashion.

An open-source academic paper management tool.

Ghidra in Minecraft

A library for mechanistic interpretability of GPT-style language models

LLMs as Copilots for Theorem Proving in Lean

A small derive macro for turning structs into bundles

A bevy plugin for rendering grass

Template repository for making Lapce plugins

Lean 4 port of Iris, a higher-order concurrent separation logic framework

A socket.io server implementation in Rust that integrates with the Tower ecosystem and the Tokio stack.

Complement to the arxiv post. This contains a mathematica notebook for verifying some of the symbolic computations done in the paper, and also some julia code to generate instances of our step size…

⚡ InstaFlow! One-Step Stable Diffusion with Rectified Flow (ICLR 2024)