Skip to content
View pazz's full-sized avatar
43 followers · 1 following

Achievements

Achievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report pazz

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

  • alot Public

    Terminal-based Mail User Agent

    email urwid mua notmuch
    Python 707 164 GNU General Public License v3.0 Updated Dec 25, 2024

  • ltex-utils.nvim Public

    Forked from jhofscheier/ltex-utils.nvim

    Implements code actions for the LTeX Language Server for neovim

    Lua MIT License Updated Nov 14, 2024

  • egsolver Public

    Solves finite energy games

    verification
    Python 1 Updated Feb 20, 2023

  • al-folio Public

    Forked from alshedivat/al-folio

    A beautiful, simple, clean, and responsive Jekyll theme for academics

    JavaScript MIT License Updated May 11, 2021

  • check50_junit Public

    A check50 extension for running and interpreting junit5 unit tests

    Python GNU General Public License v3.0 Updated Apr 23, 2021

  • guitest Public

    Java Updated Apr 9, 2021

  • check50 Public

    Forked from cs50/check50

    This is check50, a command-line program with which you can check the correctness of your programs.

    Python GNU General Public License v3.0 Updated Apr 6, 2021

  • grade50 Public

    turns check50 reports into grades

    Python 1 2 GNU General Public License v3.0 Updated Mar 31, 2021

  • teaching_scripts Public

    a selection of scripts I use to automate teaching related tasks

    Python 1 1 GNU General Public License v3.0 Updated Mar 13, 2021

  • check50_checkstyle Public

    A check50 extension that wraps around the static code analyser checkstye

    Python GNU General Public License v3.0 Updated Jan 25, 2021

  • check50_java Public

    check50 extension that allows to compile/interpret java code and junit5 tests.

    Python 2 GNU General Public License v3.0 Updated Sep 11, 2020

  • urwidtrees Public

    tree widgets for urwid

    Python 53 18 GNU General Public License v3.0 Updated Aug 26, 2020

  • sandbox Public

    Forked from cs50/sandbox
    Shell Updated Aug 4, 2020

  • gradlegrader_template Public

    Java Updated May 23, 2020

  • jekyll-conference Public

    Forked from DigitaleGesellschaft/jekyll-conference

    Jekyll template for a conference website containing program, speaker, talks and room overview

    JavaScript MIT License Updated May 15, 2020

  • uam Public

    Forked from ProjectAT/uam
    Python Updated Mar 14, 2019

  • pgsolver Public

    Forked from tcsprojects/pgsolver

    A collection of tools for generating, manipulating and - most of all - solving parity games.

    OCaml 1 Updated Jul 14, 2017

  • afew Public

    Forked from afewmail/afew
    Python Updated Dec 27, 2016

  • boostzielonka Public

    A basic parity game solver

    verification parity-game-solver
    Python 2 1 GNU General Public License v3.0 Updated Oct 3, 2016

  • z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++ Other Updated Nov 5, 2015

  • beamerthemeWarwick Public

    Warwick Uni theme for latex beamer

    TeX 2 4 Updated Oct 31, 2015

  • beamerthemeEdinburgh Public

    University of Edinburgh theme for latex beamer

    TeX 6 1 Updated Jun 29, 2015

  • notmuch Public

    C 1 Other Updated Apr 30, 2015

  • xapers Public

    git://finestructure.net/xapers

    Python 10 Other Updated Feb 14, 2015

  • urwid Public

    Forked from urwid/urwid

    Console user interface library for Python (hg-git clone for git-fans)

    Python 1 GNU Lesser General Public License v2.1 Updated Apr 6, 2013

  • scripts Public

    collection of scripts i wrote for personal use

    Python 2 Updated Feb 7, 2013