-
King's College London
- London, UK
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
An API specification of the website https://www.floatplane.com
Project for automatically organizing and downloading Floatplane videos for plex.
A cross-platform GUI library for Rust, inspired by Elm
Turso is an in-process SQL database, compatible with SQLite.
Genetic algorithm framework for identifying strong lottery ticket networks in randomly initialized neural networks — features YAML-based configuration, works with any model architecture, and is eas…
Fine-tuning & Reinforcement Learning for LLMs. 🦥 Train OpenAI gpt-oss, DeepSeek-R1, Qwen3, Gemma 3, TTS 2x faster with 70% less VRAM.
Minimal reproduction of DeepSeek R1-Zero
Large language model and dataset for natural language to first-order logic translation
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
OpenAPI (AKA Swagger) document generation for Rust projects
List of papers studying machine learning through the lens of category theory
An open source Python package for plasma research and education
Coupled hydrogen/tritium transport and heat transfer modelling using FEniCS
Really Fast End-to-End Jax RL Implementations
JAX (Flax) implementation of algorithms for Deep Reinforcement Learning with continuous action spaces.