Skip to content
View ddorn's full-sized avatar
26 followers · 16 following

Achievements

Achievement: StarstruckAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: StarstruckAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Highlights

  • Pro

Organizations

@SprigProofs
Block or Report

Block or report ddorn

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned

  1. CentreSecuriteIA/BELLS CentreSecuriteIA/BELLS Public

    Benchmarks for the Evaluation of LLM Supervision

    Python 7

  2. SprigProofs/SPRIG SprigProofs/SPRIG Public

    The SPRIG Protocol is a new protocol allowing anyone to know why a mathematical reasoning is valid, and enabling anyone to ask questions in case of doubt The SPRIG Protocol is a new protocol allowi…

    JavaScript

  3. EffiSciencesResearch/ML4G-2.0 EffiSciencesResearch/ML4G-2.0 Public

    Improved version of the technical workshops for the 10-day ML4G camp on safety of AI systems

    Jupyter Notebook 3

  4. aaronjanse/asciidots aaronjanse/asciidots Public

    Esolang inspired by ASCII art

    Python 1.1k 33

  5. flyre flyre Public

    A 2d pixel art shoot-em-up, with a skill tree. Made in one week for the Pygame Community Easter jam.

    Python 4

  6. cozyfractal.com cozyfractal.com Public

    Source for my personal website

    HTML