Skip to content
View ddorn's full-sized avatar

Organizations

@SprigProofs

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 Loading

  1. CentreSecuriteIA/BELLS CentreSecuriteIA/BELLS Public

    Benchmarks for the Evaluation of LLM Supervision

    Python 31 9

  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 13 6

  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 6

  6. pucoti pucoti Public

    A purposeful countdown timer for productivity.

    Python 1