A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Karpathy's observations on LLM coding pitfalls.

Official inference framework for 1-bit LLMs

from vibe coding to agentic engineering - practice makes claude perfect

Vercel's official collection of agent skills

Prove functional correctness of Ethereum smart contracts in higher-order logic

simple terminal UI for git commands

Python tool for converting files and office documents to Markdown.

Lightning-fast and Powerful Code Editor written in Rust

The AI framework that adds the engineering to prompt engineering (Python/TS/Ruby/Java/C#/Rust/Go compatible)

Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generation from pre-trained language models.

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

GOOSE in Lean4

Juvix Lean library for compiler run verification

A SIMD-accelerated concurrent hash table.

LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!

Unison file synchronizer

replicated in-memory data structures

Implementation of a programming language (Code for a Course on Code Reading and Compiler Extension)

nock on the jvm

An alternative to Urbit

A library for incremental computations

Simple GHC (Haskell) integration for VSCode

A Cairo VM prover implemented using Winterfell

cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to anothe…

GaloisCPP: C++ Library for General Galois Field Arithmetic

The new nanopass framework; an embedded DSL for writing compilers in Scheme