Eragoneq

> Just a *git* person

Pinned Repositories

assignment-website
Niezła stronka
Language:HTML00
brp-agda-refactoring-mjozwik
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
Language:Agda1 0 00
Dungeonium-1.11
Minecraft mod for 1.11
Language:Java00
eragoneq
Public repository for profile README
0 2 00
eragoneq.github.io
00
haskell-learning
Language:Haskell1 2 00
hugo-PaperMod
A fast, clean, responsive Hugo theme.
Language:HTML00
Konkursowa-Appka
Language:Kotlin20
mastermind
Language:JavaScript00
minecraft2D
Language:Python3 2 00

Eragoneq's Repositories

Eragoneq/minecraft2D
Language:Python3 2 00
Eragoneq/Konkursowa-Appka
Language:Kotlin20
Eragoneq/brp-agda-refactoring-mjozwik
Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.
Language:Agda1 0 00
Eragoneq/haskell-learning
Language:Haskell1 2 00
Eragoneq/assignment-website
Niezła stronka
Language:HTML00
Eragoneq/Dungeonium-1.11
Minecraft mod for 1.11
Language:Java00
Eragoneq/eragoneq
Public repository for profile README
0 2 00
Eragoneq/eragoneq.github.io
00
Eragoneq/hugo-PaperMod
A fast, clean, responsive Hugo theme.
Language:HTML00
Eragoneq/Lessons
Language:C++00
Eragoneq/mastermind
Language:JavaScript00
Eragoneq/trustchain-superapp
Kotlin implementation of Trustchain and IPv8 with rich networking: multihoming of local Bluetooth+4G, decentral social networking, UDP hole punching, etc.
Language:Kotlin00
Eragoneq/kotlin-ipv8
P2P communication library for Android
Language:Kotlin
Eragoneq/lazymc-docker-proxy
Put your Minecraft containers to rest when idle.
Eragoneq/Luminous-Magic-1.12
Language:Java
Eragoneq/minecraft_checker
Language:Rust
Eragoneq/scrabble
Language:Python
Eragoneq/Terasology
Terasology - open source voxel world
Language:Java