htadashi

triton

Development repository for the Triton language and compiler

scalene

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

nanobind

nanobind: tiny and efficient C++/Python bindings

copybara

Copybara: A tool for transforming and moving code between repositories.

penzai

A JAX research toolkit for building, editing, and visualizing neural networks.

egg

egg is a flexible, high-performance e-graph library

Hoard

The Hoard Memory Allocator: A Fast, Scalable, and Memory-efficient Malloc for Linux, Windows, and Mac.

rust-magic-patterns

Magical Rust patterns laid out and simplified

Triton-Puzzles

Puzzles for learning Triton

robohive

A unified framework for robot learning

comparxiv

Compare two version of an arXiv preprint with a single command.

Holodeck

CVPR 2024: Language Guided Generation of 3D Embodied AI Environments.

semantic-autocomplete

A blazing-fast semantic search React component. Match by meaning, not just by letters. Search as you type without waiting (no debounce needed). Rank by cosine similarity.

Zero-Knowledge-Mastery

This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.

ntptutorial

Tutorial on neural theorem proving

adam

adam implements a collection of algorithms for calculating rigid-body dynamics in Jax, CasADi, PyTorch, and Numpy.

llmstep

llmstep: [L]LM proofstep suggestions in Lean 4.

ExceLint-addin

Add-in for Excel that finds formula errors

FastSim

ProofNet

Benchmark for undergraduate-level formal mathematics

DH2URDF

Denavit-Hartenberg table to URDF( Unified Robot Description Format)

PLC-Design-Patterns

A large repo containing various OOP design patterns for PLC development

JuliaScript.jl

finally fast julia scripts

fatrop

Fatrop is a nonlinear optimal control problem solver that aims to be fast, support a broad class of optimal control problems and achieve a high numerical robustness.

HyperspaceZK

👾 DX-focused decentralized zero-knowledge framework 🛸

rust10x-vscode

Rust10x VSCode Extension - Productivity utilities for Rust Coding

MathBases

Talk2Radar

mpc-tools-casadi

a fork of https://bitbucket.org/rawlings-group/mpc-tools-casadi/src/master/

loogle-lean