Skip to content
View carlok's full-sized avatar
13 followers · 2 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: 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.

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. aristowrap aristowrap Public

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

    Python

  2. pickmydegree pickmydegree Public

    Tournament-Based Degree Chooser A mobile-first web application that helps undecided high school students choose their university degree through structured tournament-style comparisons.

    HTML

  3. Ubuntu-Hardening Ubuntu-Hardening Public

    Forked from AndyHS-506/Ubuntu-Hardening

    Ubuntu 24.04 CIS Benchmark Hardening Script

    Python 4

  4. deck-lovers deck-lovers Public

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

    Python

  5. collective-starship-game collective-starship-game Public

    A live, multiplayer interactive conference game designed to demonstrate the effects and challenges of collective behavior.

    TypeScript 1 1

  6. labzero labzero Public

    Original legal UCI chess engine (Rust): Podman CI, perft verification, Fastchess gauntlets, Lichess bot bridge.

    Rust