Skip to content
View gnull's full-sized avatar
💭
I moved from Github to Sourcehut and suggest you do the same
💭
I moved from Github to Sourcehut and suggest you do the same

Block or report gnull

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

  • .dotfiles Public

    My dotfiles

    Vim Script 1 Updated Jan 16, 2017

  • abstracts Public

    Forked from nikgaevoy/abstracts
    1 Updated Dec 17, 2018

  • afp-code Public

    Forked from teach-afp/afp-code

    Public code for the course AFP (Advanced Functional Programming, Chalmers TDA342)

    HTML Updated Jan 17, 2024

  • ajtai-dwork Public

    Notes on the Fourth Ajtai-Dwork Cryptosystem

    TeX 1 Updated Dec 11, 2018

  • auto-pairs.kak Public archive

    A mirror of https://github.com/alexherbo2/auto-pairs.kak

    1 The Unlicense Updated Jun 27, 2021

  • autotiling Public

    Forked from nwg-piotr/autotiling

    Script for sway and i3 to automatically switch the horizontal / vertical window split orientation

    Python GNU General Public License v3.0 Updated Aug 21, 2023

  • bachelor-thesis-2017 Public

    Forked from andrewaeva/diploma

    Latex source of my bachelor thesis (in Russian)

    TeX 1 Updated Jul 9, 2017

  • biblatex Public

    Forked from typst/biblatex

    A Rust crate for parsing and writing BibTeX and BibLaTeX files.

    Rust Apache License 2.0 Updated Nov 27, 2023

  • brick Public

    Forked from jtdaugherty/brick

    A declarative terminal UI programming library written in Haskell

    Haskell 1 Other Updated May 4, 2019

  • buck2-1 Public

    Forked from facebook/buck2

    Build system, successor to Buck

    Rust Apache License 2.0 Updated Aug 17, 2023

  • buffer-overflow Public

    A Tutorial on Buffer Overflows

    Assembly 2 1 Updated Jun 3, 2015

  • bulletproofs Public

    Forked from sdiehl/bulletproofs

    Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

    Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 25, 2022

  • calcure Public

    Forked from anufrievroman/calcure

    Modern TUI calendar and task manager with minimal and customizable UI.

    Python MIT License Updated Aug 21, 2023

  • cfparser Public archive

    Codeforces Parser for Emacs (Discontinued, see https://github.com/gabrielsimoes/cfparser.vim for a more actively developed analogue)

    Emacs Lisp 17 3 Do What The F*ck You Want To Public License Updated Dec 28, 2016

  • Coq-HoTT Public

    Forked from HoTT/Coq-HoTT

    A Coq library for Homotopy Type Theory

    Coq Other Updated Aug 19, 2023

  • coq-playground Public

    My Personal Coq Playground

    Coq 1 Updated May 19, 2018

  • CTFd Public

    Forked from CTFd/CTFd

    CTFs as you need them

    Python Apache License 2.0 Updated Aug 21, 2023

  • cutter Public

    Forked from rizinorg/cutter

    Free and Open Source Reverse Engineering Platform powered by rizin

    C GNU General Public License v3.0 Updated Aug 24, 2023

  • docs Public

    Forked from zeropoolnetwork/docs
    JavaScript Updated Aug 2, 2023

  • DOOM Public

    Forked from id-Software/DOOM

    DOOM Open Source Release

    C GNU General Public License v2.0 Updated Jan 16, 2024

  • ecc-pycrypto Public

    Forked from lc6chang/ecc-pycrypto

    This is a Python package for ECC and ElGamal elliptic curve encryption.

    Python 1 MIT License Updated Apr 9, 2020

  • editorconfig-vim Public

    Forked from editorconfig/editorconfig-vim

    EditorConfig plugin for Vim

    Vim Script Other Updated Aug 7, 2023

  • farm.hs Public

    Exploit Farm for Classic CTF Competitions

    ctf
    Haskell 2 MIT License Updated Apr 14, 2018

  • farm.p6 Public

    (Joke) Helper script for classic CTF competitions written in Perl6

    Perl 6 1 Updated Sep 18, 2016

  • fawkes-crypto Public

    Forked from zeropoolnetwork/fawkes-crypto

    Fawkes-Crypto - zkSNARKs framework

    Rust 2 Apache License 2.0 Updated Apr 4, 2023

  • feed Public

    Forked from haskell-party/feed

    Haskell package for handling various feed (RSS) formats.

    Haskell Other Updated Feb 6, 2023

  • feedi Public

    Forked from facundoolano/feedi

    A personal news reader and Mastodon client

    Python GNU Affero General Public License v3.0 Updated Oct 25, 2023

  • gnull.github.io Public

    My personal blog

    HTML 1 Updated Aug 16, 2020

  • hack-quest-2016 Public

    Chaos Constructions HackQuest Tasks

    Perl 6 1 Updated Sep 13, 2016

  • halo2curves Public

    Forked from privacy-scaling-explorations/halo2curves
    Rust Other Updated Nov 23, 2023