carlok (Carlo Perassi) · GitHub
Skip to content
View carlok's full-sized avatar
17 followers · 3 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report carlok

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
carlok/README.md

Pinned Loading

  1. LeanFrontier LeanFrontier Public

    A Lean 4 library of machine-generated, kernel-verified mathematics.

    Python 8 5

  2. labzero labzero Public

    Original UCI chess engine in Rust with no copied engine core — perft-verified, Elo-measured across LLM-driven iterations.

    Python

  3. platosdf platosdf Public

    A genetic evolver that generates 3D shapes defined by G-invariant Signed Distance Functions, optimised for DMLS/SLM metal 3D printing.

    Python

  4. erdos-straus-offset-lean erdos-straus-offset-lean Public

    Lean 4-verified fixed-divisor offset construction for 4/n = 1/x + 1/y + 1/z (not a proof of Erdős–Straus).

    Lean

  5. deck-lovers deck-lovers Public

    Markdown-to-HTML deck with live audience likes and projector sync

    Python

  6. aristowrap aristowrap Public

    Docker-first aristowrap CLI around Harmonic aristotle (Lean 4 + Mathlib)

    Python