tautastic

aes-ctr

AES-CTR implementation using AES-NI intrinsics and SIMD operations

ltx

sic

HashLibCpp

This repository aims to provide an easy-to-use implementation of the Secure Hash Standard as specified in FIPS 180-4

intellij-hamcrest-to-assertj

real-analysis

Lean4 formalization of Real Analysis

rex

Zero dependency, lightweight regex engine written in Go.

anouk

https://tautastic.github.io/anouk/

codespace

darkmatter

gauss-lean

Very basic gaussian elimination written in lean

gogo-server

GoGo-Server is A Webserver written in Go that runs the KataGo Go AI Agent and exposes access to it via API endpoints. The server allows users to initialize the game, make moves, and get AI-generated moves via simple HTTP API endpoints.

Parser

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 🇩🇪