Easy GPU switching for Nvidia Optimus laptops under Linux

garbled-snark-verifier repository

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

A tool for practicing your polyrhythms.

A language for abusing mathematical functions and writing things with them that were never meant to be written. It provides an interface for performing logical comparisons (equal, less than, etc) a…

Linux port of FAR v2

Lbster: Language models for Biological Sequence Transformation and Evolutionary Representation

This is Python script to run on a Minecraft server to use as a Discord bot to start/stop the Minecraft server or to run a command.

Finds all turkish words from Turkish Language Association (https://sozluk.gov.tr/) and writes them into a file for future projects/statistics/brute force attacks/games which need words etc.

A Minecraft mod designed to improve frame rates and reduce micro-stutter

A free collection of curated, high-quality resources to take you from Bronze to Platinum and beyond.