Julian Coolen
@jtcoolenResearch Engineer in Cryptography. Post-quantum cryptography and agentic engineering.
Language Breakdown
Lines of code distribution across 15 owned repositories
I-Shaped Developer
I-shapedSpecialist β deep expertise in C
Collaboration Network
Global Impact visualization
Repos
91
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Stephen Diehl
@sdiehl
Charlotte
@chachaleo
Danny Willems
@dannywillems
Kris Kwiatkowski
@kriskwiatkowski
Samuel Schlesinger
@SamuelSchlesinger
Top Repositories
OCaml bindings to the number theory library PARI/GP
A comprehensive collection of quantum computing skills, including a complete skill system from basic quantum knowledge to advanced quantum algorithms. This skill provides structured guidance for quantum computing expertise development, covering programming languages, algorithm types, implementation approaches, and learning paths.
MIR-based formal model extraction for Rust concurrent systems β TLA+ codegen & model checking
Disciplined Multi Coding Agent System
Before I go to bed, I tell my agents: good night, have fun
git push no-mistakes
AGENTS.md rules / skills for AI coding agents: Codex, Cursor & Claude Code. Inspired by Clean Code, Refactoring, DDD, Clean Architecture and DDIA programming books.
Shared skills for AI coding assistants (Claude Code, Codex, etc.)
An AI expert capability layer for Rust engineering practices, centered on modular skill orchestration and collaborative execution chains. It turns Rustβs core knowledge structures into callable reasoning and decision units, enabling diagnosis, design, and optimization in complex real-world scenarios.
Recursive workflow for agentic engineering. Like Factory Missions but properly recursive, free and open source.
Open Source Impact
Contributions to external projects