Pinned Repositories
aes-ctr
AES-CTR implementation using AES-NI intrinsics and SIMD operations
anouk
https://tautastic.github.io/anouk/
artixrice
biome-intellij
Biome plugin for IntelliJ
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
ltx
real-analysis
Lean4 formalization of Real Analysis
rex
Zero dependency, lightweight regex engine written in Go.
sic
tautastic's Repositories
tautastic/aes-ctr
AES-CTR implementation using AES-NI intrinsics and SIMD operations
tautastic/ltx
tautastic/sic
tautastic/HashLibCpp
This repository aims to provide an easy-to-use implementation of the Secure Hash Standard as specified in FIPS 180-4
tautastic/intellij-hamcrest-to-assertj
tautastic/real-analysis
Lean4 formalization of Real Analysis
tautastic/rex
Zero dependency, lightweight regex engine written in Go.
tautastic/anouk
https://tautastic.github.io/anouk/
tautastic/artixrice
tautastic/biome-intellij
Biome plugin for IntelliJ
tautastic/codespace
tautastic/darkmatter
tautastic/gauss-lean
Very basic gaussian elimination written in lean
tautastic/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.
tautastic/Parser
tautastic/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 🇩🇪