Skip to content
View christofsteel's full-sized avatar
21 followers · 17 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark
BetaSend feedback

Highlights

  • Pro

Organizations

@tudo-seal
Block or Report

Block or report christofsteel

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. tudo-seal/cls-python tudo-seal/cls-python Public

    Synthesis using inhabitation in FCL with intersection types

    Python 2

  2. syng syng Public

    All in one karaoke software

    Python

  3. pyautosplit pyautosplit Public

    Autosplitter for Linux (for the LiveSplit Server)

    Python 45 5

  4. mtgo-vintage-cube mtgo-vintage-cube Public

    Git repository of all cards in the MTGO Vintage cube. One tag for each release.

    2

  5. latex-exsheetans latex-exsheetans Public

    A LaTeX documentclass for submissions for exercise sheets

    TeX 1

  6. pySpellbook pySpellbook Public

    A PDF spellbook creation utility for d20 like games in python

    Python 4