Skip to content
View kimjune01's full-sized avatar
42 followers · 6 following

Block or report kimjune01

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

  • june.kim Public

    Blog!

    HTML 3 Other Updated Sep 21, 2026

  • LIBERO Public

    Forked from Lifelong-Robot-Learning/LIBERO

    Benchmarking Knowledge Transfer in Lifelong Robot Learning

    Jupyter Notebook MIT License Updated Sep 14, 2026

  • lahaie-lean Public

    Lean proofs and counterexamples for the 2026 revision of Lahaie and Lubin’s Iterative Vickrey Auctions via Linear Programming.

    Lean GNU General Public License v3.0 Updated Sep 11, 2026

  • pageleft Public

    Copyleft-only semantic search engine: embeddings + PageRank + license detection

    Go Other Updated Sep 7, 2026

  • flux Public

    Forked from flux-rs/flux

    Refinement Types for Rust

    Rust MIT License Updated Aug 31, 2026

  • binder Public

    Provenance-preserving smart-contract evidence cases and claim receipts

    Rust Updated Aug 30, 2026

  • mollusk Public

    Forked from anza-xyz/mollusk

    SVM program test harness

    Rust Apache License 2.0 Updated Aug 29, 2026

  • hypothesis-graph-handoff-experiment Public

    Preregistered experiment on replayable hypothesis graphs for cross-agent coding handoffs

    Python GNU Affero General Public License v3.0 Updated Aug 25, 2026

  • lonely-runner-hypothesis-graph Public

    A replayable research ledger for hard problems, demonstrated on the Lonely Runner Conjecture

    reproducible-research mathematics open-science research-ledger hypothesis-graph
    Python GNU General Public License v3.0 Updated Aug 17, 2026

  • md2arxiv Public

    Markdown paper -> reading PDF + arXiv LaTeX source bundle. Deterministic harness + optional LLM compile-fix loop.

    TeX 1 GNU General Public License v3.0 Updated Aug 14, 2026

  • anki Public

    Forked from ankitects/anki

    Anki is a smart spaced repetition flashcard program

    Rust Other Updated Aug 11, 2026

  • slopcodebench-audit Public

    HTML Other Updated Aug 11, 2026

  • vector Public

    Forked from vectordotdev/vector

    A high-performance observability data pipeline.

    Rust Mozilla Public License 2.0 Updated Aug 8, 2026

  • tau2-frame-audit Public

    Frame-validity audit of tau2-bench: does a gold solution plus one off-task database write still score reward 1?

    Python Other Updated Aug 7, 2026

  • pokedex Public

    A mobile-first Pokedex collection and hunt tracker

    TypeScript GNU Affero General Public License v3.0 Updated Aug 6, 2026

  • human-signal Public

    Evidence-led research on assessing human judgment in coding-agent work

    Shell Other Updated Aug 6, 2026

  • intent-sufficiency Public

    Do chat conversations carry enough declared intent to match ads without a user dossier? Measured on WildChat with the Vector Space intent-extraction prompt.

    Python GNU Affero General Public License v3.0 Updated Jul 28, 2026

  • vectorspace-adserver Public

    Embedding-based ad targeting with PageRank and VCG auction settlement

    Go GNU Affero General Public License v3.0 Updated Jul 28, 2026

  • alertmanager Public

    Forked from prometheus/alertmanager

    Prometheus Alertmanager

    Go Apache License 2.0 Updated Jul 26, 2026

  • node Public

    Forked from nodejs/node

    Node.js JavaScript runtime ✨🐢🚀✨

    JavaScript Other Updated Jul 26, 2026

  • frontier-bench-audit Public

    Frame-validity audit of Frontier-Bench: does a certified reference solution plus one careless accident still score reward 1?

    Python Other Updated Jul 25, 2026

  • Enzyme-JAX Public

    Forked from EnzymeAD/Enzyme-JAX

    Custom Bindings for Enzyme Automatic Differentiation Tool and Interfacing with JAX.

    MLIR Other Updated Jul 24, 2026

  • pd-arena Public

    A playground for eliciting social coopetition from coding agents (claude x codex): mixed-motive population games with unauthenticated, key-based identity.

    Python GNU Affero General Public License v3.0 Updated Jul 23, 2026

  • regex Public

    Forked from rust-lang/regex

    An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

    Rust Apache License 2.0 Updated Jul 22, 2026

  • harbor-1 Public

    Forked from harbor-framework/harbor

    Framework for evaluating and improving agents

    Python Apache License 2.0 Updated Jul 22, 2026

  • syft Public

    Forked from anchore/syft

    CLI tool and library for generating a Software Bill of Materials from container images and filesystems

    Go Apache License 2.0 Updated Jul 20, 2026

  • terminal-bench-audit Public

    A frame-validity audit of Terminal-Bench 2.1: does a passing grade forgive unwarranted destruction?

    Shell Other Updated Jul 20, 2026

  • frontiercode-audit Public

    Desk audit of Cognition's FrontierCode benchmark: the diff is insufficient to measure mergeability. Dual-coder floor: 52/59 real maintainer closures decided outside the rubric axes.

    HTML 1 Updated Jul 18, 2026

  • presume Public

    A searchable provenance index for talent — not a certificate authority. Git-provenance resume registry that defeats resume tailoring.

    Go GNU Affero General Public License v3.0 Updated Jul 18, 2026

  • mirrorcode-audit Public

    A re-runnable, receipt-backed audit of MirrorCode (arXiv:2606.30182): does it measure what it says?

    Python Other Updated Jul 18, 2026