Pinned Repositories
afkPlug
afk management plugin for SpigotMC
agda
Agda is a dependently typed programming language / interactive theorem prover.
Annwan
atlas
The repo containing everything about Nja'elavin, a conworld for a DnD campain
bot-iut
cheatsheets
Community-sourced cheatsheets
CLE
The C-Lua engine, a game engine written in C, raw open GL,which (will) supports lua
container
Simple containerization script using systemd-nspawn
ctelnet
discord-haskell
Haskell library for writing Discord bots
Annwan's Repositories
Annwan/grapic
GRAPhics In C++ (GrapIC)
Annwan/inventoryManager
Annwan/kotlintest
Annwan/LuaRSA
Annwan/MorpionProcessing
Annwan/RPNcalc
Annwan/Saves
My save managing lib
Annwan/SimplyCity
A minecraft mod pack , quite small but wel ^^