Skip to content
View datokrat's full-sized avatar
👋
This image is *not* AI-generated.
👋
This image is *not* AI-generated.
14 followers · 6 following

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4Achievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Organizations

@disco-network

Block or report datokrat

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

Popular repositories Loading

  1. lean-iterators lean-iteratorsPublic archive

    In this repository, I work on the Lean iterator library that is supposed to become part of the standard library.

    Lean 3 1

  2. abnfjs abnfjsPublic

    JavaScript 2 1

  3. knowledge-synthesis knowledge-synthesisPublic

    1

  4. paradigmlab paradigmlabPublic

    An experimental repo where I wallow in metacircularity and foolish abstractions. As a side product, this repository contains a hacked-together parser combinator library, a markdown parser, and a st…

    Java 1

  5. wahl-plattform wahl-plattformPublic

    Hier findet sich der Code einer Internetplattform, die zur Kommunalwahl umgesetzt wurde, um mehr Informationen und Bürgernähe zu erreichen. Es lassen sich darin sowohl vorgegebene Fragen stellen al…

    PHP 1

  6. qkonsens qkonsensPublic

    This should become a proof of concept of a discussion platform, part of d!sco, the Discussion Ontology. Proudly developed with HTML, TypeScript, CSS and Eclipse.

    JavaScript