InnocentusLime
A game developer with some network, Rust, C and Java knowledge
Intern @ JetBrains ResearchPafos, Cyprus
Pinned Repositories
AmnesiaTheDarkDescent
bevy
A refreshingly simple data-driven game engine built in Rust
bevy-tilemap-editor-pls
A simple extension for `bevy-editor-pls` to support tilemap editing right inside the bevy app.
bitsynth
The project for the PFM2024 course
coq-in-coq
A formalisation of the Calculus of Constructions
DOOM
DOOM Open Source Release
filesystems-101-exercises
gmtk-2022
Entry for the GMTK 2022 game jam
mquad-rpg
A small RPG created using macroquad
Solar-Knight
A space shooter game written in Rust
InnocentusLime's Repositories
InnocentusLime/bevy-tilemap-editor-pls
A simple extension for `bevy-editor-pls` to support tilemap editing right inside the bevy app.
InnocentusLime/Solar-Knight
A space shooter game written in Rust
InnocentusLime/gmtk-2022
Entry for the GMTK 2022 game jam
InnocentusLime/mquad-rpg
A small RPG created using macroquad
InnocentusLime/AmnesiaTheDarkDescent
InnocentusLime/bevy
A refreshingly simple data-driven game engine built in Rust
InnocentusLime/bitsynth
The project for the PFM2024 course
InnocentusLime/coq-in-coq
A formalisation of the Calculus of Constructions
InnocentusLime/DOOM
DOOM Open Source Release
InnocentusLime/filesystems-101-exercises
InnocentusLime/iata-rs
InnocentusLime/innocentuslime
le readme
InnocentusLime/innocentusLime.github.io
A lil' website
InnocentusLime/macroquad
Cross-platform game engine in Rust.
InnocentusLime/pcap-proto-rs
InnocentusLime/project-consequences
Coursework for the gamedev course
InnocentusLime/logical_verification_2023_solutions
Solutions to the hitchhikers guide!
InnocentusLime/miniquad
Cross platform rendering in Rust
InnocentusLime/mquad-arconoid
A simple arcanoid done with macroquad
InnocentusLime/rust
A safe, concurrent, practical language.
InnocentusLime/silly-discord
A simple discord bot written in Go
InnocentusLime/simple-isp
A small amateur isp network created in a few weekends
InnocentusLime/texted-adventure
A small Rust engine which is designed to make simple text based adventures
InnocentusLime/TRust
A program aimed at Rust program verification
InnocentusLime/unity-merge-conflict-test
Is your merge conflict working? No? Yes? Test it!
InnocentusLime/web-assignment
Web assignment for the Neapolis University Pafos