TauTastic's repositories
HashLibCpp
This repository aims to provide an easy-to-use implementation of the Secure Hash Standard as specified in FIPS 180-4
Language:HTML000
Language:HTML000
Language:C000
Language:GoMIT000
next-auth
Authentication for the Web.
Language:TypeScriptISC000
precedent
An opinionated collection of components, hooks, and utilities for your Next.js project.
MIT000
Robo
A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
Language:LeanApache-2.0000