Pinned Loading

1. sat-solvers sat-solvers Public

   A unified Rust interface to multiple SAT solvers with automatic source compilation.

   Rust

2. nlrl nlrl Public

   A PyTorch implementation of the Neural Logic Rule Layer (Reimman, 2019)

   Jupyter Notebook

3. jax-transformer jax-transformer Public

   A re-implementation of Callum McDougall's "Transformer from Scratch" using JAX (Flax).

   Python

4. daily-chat-stats daily-chat-stats Public

   Visualises your daily usage of OpenAI and Anthropic chat services

   Python

5. countdown-data countdown-data Public

   Countdown numbers game dataset generator

   Jupyter Notebook

6. take_bytes take_bytes Public

   A lightweight Rust utility for classic Unix-style CLIs

   Rust