Popular repositories Loading

1. warp warp Public

   Warp is a dependently typed language for synthetic data generation via enumeration or sampling of inhabitants of specified types weighted by an algorithmic complexity prior.

   Rust 4

2. kvbench kvbench Public

   Evaluate context length generalization capability of transformer variants on a key-value retrieval task

   Python 1 1

3. fireemblem7u fireemblem7u Public

   Matching decompilation of Fire Emblem (USA, Australia) for the GBA

   C 1

4. agentic_terminal agentic_terminal Public

   Manifest thy will by granting an LLM agentic access to a bash session.

   Rust

5. SAT SAT Public

   SAT solver powered by interaction combinators

6. BasiliskSudoku BasiliskSudoku Public

   Train a transformer variant with latent space reasoning via layer looping to solve sudoku puzzles

   Python