gjvnq Goto Github PK

formal-voting

Some of my experiments in proving and disproving voting systems properties

genderdysphoria.fyi

Site code

genders.wtf

gjvnq.github.io

go-logger

Simple logger for Go programs

go-sdl2

SDL2 binding for Go

go.uuid

UUID package for Go

goav

Golang bindings for FFmpeg

goodarch

Some ideas of a new architecture of computers that actually make some sense

gorpc

Simple, fast and scalable golang rpc library for high load

gouuid

Go binding for libuuid

government-design-systems

grossi16

A Classroom Clicker App

grub2-signing-extension

The GRUB2 signing extension are some scripts which helps you to verify, sign and unsign your GRUB2 bootloader files using gpg.

hb2-rs

Hash Based Backup tool

hdoc

A simple tool for writing nice standalone HTML documents

hugo

The world’s fastest framework for building websites.

ic2020

icecream

🍦 Never use print() to debug again.

igtvf

Interlinear Gloss Text Vertical Format

inventory-pause

Pause your single player game when Inventory is open

ivy

The Unified Machine Learning Framework

jagl-shehacks-2022

jose-rs

justenoughitems

Item and Recipe viewing mod for Minecraft

labifsc

Uma biblioteca em python para propagação de erro e conversão de unidades utilizando os métodos que os professores de lab de física do IFSC-USP insistem.

latex-gboard-dictionary

⌨ Importable dictionary for typing math symbols more easily on your Android phone by using keyboard shortcuts inspired by LaTeX

latex-stuff

libredeltaml

A simple tool for diffing an patching XML files

libreidp

A simple web tool for user management, authentication and authorization.