Leo leoveanv

🏴‍☠️

perhaps just a craftsman embracing a dream

Achievements

Report abuse

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

argusterm argusterm Public

Minimalist TUI that uses LLMs to triage CVE feeds for AI-security relevance.

Rust 3
lean-mode lean-mode Public archive

https://discord.gg/TaVqWWut

Lean 3
aoc2022 aoc2022 Public

It's that time of the year!

Python 2
golem golem Public

A fun playground for Bayesian inference.

Python 2
aoc2020 aoc2020 Public

Python
recsys recsys Public

Python