Pinned Repositories
lean4
Lean 4 programming language and theorem prover
bark
🔊 Text-Prompted Generative Audio Model
agda-mode
Accessing Agda's interaction mode via command line & external tactic for Agda.
bark
🔊 Text-prompted Generative Audio Model
countfoldertokens
A small Python script to tokenize a given folder and count the number of tokens in all its files combined.
lean-protoc-plugin
tiktoken-hs-bindings
TransformerLens
triton
Development repository for the Triton language and compiler
zygi's Repositories
zygi/lean-protoc-plugin
zygi/bark
🔊 Text-prompted Generative Audio Model
zygi/countfoldertokens
A small Python script to tokenize a given folder and count the number of tokens in all its files combined.
zygi/tiktoken-hs-bindings
zygi/triton
Development repository for the Triton language and compiler
zygi/butterfly
Butterfly matrix multiplication in PyTorch
zygi/CommonLoopUtils
CLU lets you write beautiful training loops in JAX.
zygi/composer
Train neural networks up to 7x faster
zygi/contractome
An incomplete attempt to create a Lean evm specification.
zygi/TransformerLens
zygi/CUDA.jl
CUDA programming in Julia.
zygi/ec
zygi/evm
Pure Rust implementation of Ethereum Virtual Machine
zygi/experiments
Open sourced predictions, execution logs, trajectories, and results from model inference + evaluation runs on the SWE-bench task.
zygi/ikvblob
A file format for an indexed-key value blob where values can be looked up by just reading small portions of the file.
zygi/javascript-opentimestamps
zygi/julia_proj
zygi/juliatriton_cpp
zygi/lean4-1
Lean 4 programming language and theorem prover
zygi/lean4-assert-command
A simple assertion command for Lean4
zygi/lean4-sha3
Lean4 wrapper of a native sha3 implementation
zygi/llama_cpp.jl
zygi/monitors4codegen
Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to build applications around language servers.
zygi/nixpkgs
Nix Packages collection
zygi/pytest
The pytest framework makes it easy to write small tests, yet scales to support complex functional testing
zygi/ray
Ray is a unified framework for scaling AI and Python applications. Ray consists of a core distributed runtime and a toolkit of libraries (Ray AIR) for accelerating ML workloads.
zygi/SWE-bench
[ICLR 2024] SWE-Bench: Can Language Models Resolve Real-world Github Issues?
zygi/tiktoken
zygi/trojan_detection_submission
zygi/vocode-python
🤖 Build voice-based LLM agents. Modular + open source.