InnocentusLime
Follow
Highlights
- Pro
-
-
macroquad Public
Forked from not-fl3/macroquadCross-platform game engine in Rust.
Rust Apache License 2.0 UpdatedMar 3, 2025 -
-
-
dafny-segmentree Public
An isolated attempt to implement a verified segment tree in Dafny
Dafny MIT License UpdatedFeb 19, 2025 -
bevy-tilemap-editor-pls Public
A simple extension for `bevy-editor-pls` to support tilemap editing right inside the bevy app.
-
-
shipyard Public
Forked from leudz/shipyardEntity Component System focused on usability and flexibility.
Rust Other UpdatedJan 29, 2025 -
-
-
logical_verification_2023_solutions Public
Forked from blanchette/logical_verification_2023Solutions to the hitchhikers guide!
Lean UpdatedDec 17, 2024 -
filesystems-101-exercises Public
Forked from dominiquelefevre/filesystems-101-exercisesC UpdatedNov 3, 2024 -
mquad-arconoid Public
A simple arcanoid done with macroquad
JavaScript MIT License UpdatedOct 13, 2024 -
-
miniquad Public
Forked from not-fl3/miniquadCross platform rendering in Rust
Rust Apache License 2.0 UpdatedSep 13, 2024 -
-
web-assignment Public archive
Web assignment for the Neapolis University Pafos
PHP UpdatedMay 19, 2024 -
simple-isp Public
A small amateur isp network created in a few weekends
MIT License UpdatedFeb 24, 2024 -
texted-adventure Public
A small Rust engine which is designed to make simple text based adventures
Rust UpdatedFeb 17, 2024 -
-
project-consequences Public
Coursework for the gamedev course
-
unity-merge-conflict-test Public archive
Is your merge conflict working? No? Yes? Test it!
UpdatedJun 3, 2023 -
bevy Public
Forked from bevyengine/bevyA refreshingly simple data-driven game engine built in Rust
Rust Apache License 2.0 UpdatedMay 25, 2023 -
-
coq-in-coq Public
Forked from rocq-archive/coq-in-coqA formalisation of the Calculus of Constructions
Coq GNU Lesser General Public License v2.1 UpdatedFeb 5, 2023 -
-
-
AmnesiaTheDarkDescent Public
Forked from FrictionalGames/AmnesiaTheDarkDescentC++ GNU General Public License v3.0 UpdatedSep 23, 2020 -
rust Public
Forked from rust-lang/rustA safe, concurrent, practical language.
Rust Other UpdatedAug 26, 2018