+
Skip to content
View alexjackson1's full-sized avatar
🥸
stealth startup
🥸
stealth startup
  • King's College London
  • London, UK

Highlights

  • Pro

Block or report alexjackson1

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A Matrix client for Vim addicts

Rust 955 80 Updated Sep 13, 2025

An API specification of the website https://www.floatplane.com

Python 20 1 Updated Jun 7, 2025

Project for automatically organizing and downloading Floatplane videos for plex.

TypeScript 242 51 Updated Oct 9, 2025

Personal Website & Blog Theme for Hugo

HTML 2,356 613 Updated Oct 17, 2025
Rust 25 4 Updated Aug 14, 2025

A modular 3D printable flip dot display

50 8 Updated Apr 8, 2021

MacOS inside a Docker container.

Shell 17,515 810 Updated Oct 19, 2025

A cross-platform GUI library for Rust, inspired by Elm

Rust 27,992 1,391 Updated Oct 18, 2025

Turso is an in-process SQL database, compatible with SQLite.

Rust 14,250 577 Updated Oct 18, 2025

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…

Python 1 1 Updated Aug 13, 2025

Fine-tuning & Reinforcement Learning for LLMs. 🦥 Train OpenAI gpt-oss, DeepSeek-R1, Qwen3, Gemma 3, TTS 2x faster with 70% less VRAM.

Python 47,127 3,856 Updated Oct 19, 2025

Reproduce R1 Zero on Logic Puzzle

Python 2,403 162 Updated Mar 20, 2025
Python 1 Updated Feb 9, 2025

The core implementation of the Acorn language.

Rust 28 6 Updated Oct 17, 2025

Acorn's standard library of mathematical facts.

35 11 Updated Oct 18, 2025
2 Updated Oct 24, 2022

Minimal reproduction of DeepSeek R1-Zero

Python 12,273 1,512 Updated Apr 24, 2025

Large language model and dataset for natural language to first-order logic translation

Jupyter Notebook 66 6 Updated Oct 25, 2023

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

C 4,401 183 Updated Oct 6, 2025

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Rust 660 15 Updated Jun 13, 2025

OpenAPI (AKA Swagger) document generation for Rust projects

Rust 718 122 Updated Jun 19, 2025

An argumentation framework library & solver.

Rust 4 2 Updated Jul 17, 2025

List of papers studying machine learning through the lens of category theory

Python 1,435 89 Updated Oct 3, 2025

An open source Python package for plasma research and education

Python 634 351 Updated Oct 16, 2025

Coupled hydrogen/tritium transport and heat transfer modelling using FEniCS

Python 113 31 Updated Oct 16, 2025

Emergent Communication in RLlib

Jupyter Notebook 3 Updated Nov 14, 2023

Really Fast End-to-End Jax RL Implementations

Python 959 81 Updated Sep 9, 2024

JAX (Flax) implementation of algorithms for Deep Reinforcement Learning with continuous action spaces.

Jupyter Notebook 722 72 Updated Oct 26, 2022
Next
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载