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

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx2Achievement: 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.

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

Popular repositories Loading

  1. abnfjs abnfjs Public

    JavaScript 2 1

  2. knowledge-synthesis knowledge-synthesis Public

    1

  3. paradigmlab paradigmlab Public

    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

  4. lean-iterators lean-iterators Public

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

    Lean 1 1

  5. wahl-plattform wahl-plattform Public

    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 qkonsens Public

    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