Skip to content
View still-rollin's full-sized avatar
0 followers · 4 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull SharkAchievement: Quickdraw

Organizations

@csabitsh

Block or report still-rollin

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

Pinned Loading

  1. ADG-Lib ADG-Lib Public

    Forked from ADG-Foundation/ADG-Lib

    Library of ADG (Automated Deduction in Geometry) resources

    OpenEdge ABL

  2. DHFRProtRL DHFRProtRL Public

    LatProtRL applied to a DHFR single-mutant dataset: reward shaping, no-RL baselines, and an audit of the surrogate oracle

    Python

  3. LeanLangur LeanLangur Public

    Forked from siddhartha-gadgil/LeanLangur

    Expositions and demos for Lean Prover

    Lean

  4. LLM4Rocq/rocqet-search LLM4Rocq/rocqet-search Public

    Semantic search over Rocq/Coq mathematical libraries.

    Python