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/afkPlug
afk management plugin for SpigotMC
Annwan/agda
Agda is a dependently typed programming language / interactive theorem prover.
Annwan/Annwan
Annwan/atlas
The repo containing everything about Nja'elavin, a conworld for a DnD campain
Annwan/bot-iut
Annwan/cheatsheets
Community-sourced cheatsheets
Annwan/CLE
The C-Lua engine, a game engine written in C, raw open GL,which (will) supports lua
Annwan/container
Simple containerization script using systemd-nspawn
Annwan/ctelnet
Annwan/discord-haskell
Haskell library for writing Discord bots
Annwan/dockerdev
Annwan/dotfiles
My configs
Annwan/gessing_game
test rust project
Annwan/hpgl
Annwan/hsbuild
Annwan/IdrisPlan
Annwan/ITC-1.12.2
A Minecraft Modpack
Annwan/JuicyPixels-qoi
qoi encoder/decoder for JuicyPixels
Annwan/moon-i18n
a minimalist internationali(s|z)ation lib for moonscript and Lua
Annwan/moonim
animations in moonscript
Annwan/Morpion
Little project at school
Annwan/Projet-ISN
Little image hosting project
Annwan/pyscandl
multi website manga chapters download program in pdf
Annwan/Resource-Pack
Resource pack we use on our Minecraft server
Annwan/scripts
Useful scripts for *nix systems
Annwan/some2
Annwan/sqlite-fn
Annwan/stacklang
Annwan/ULTRAFRENCH
The ULTRAFRENCH language
Annwan/unix-7-file-importer