Projects in Awesome Lists by Roldak
A curated list of projects in awesome lists by Roldak .
https://github.com/roldak/planetgeneration
Procedural generation of planets (or asteroids, etc.) using Unity.
Last synced: 12 Jul 2025
https://github.com/roldak/agc
Garbage collection for Ada
ada garbage-collection garbage-collector memory-management
Last synced: 30 Oct 2025
https://github.com/roldak/madarch
Ray marching engine in Ada
ada distance-fields global-illumination opengl raymarching real-time rendering
Last synced: 12 Oct 2025
https://github.com/roldak/sfsl
Statically typed Functionnal Scripting Language
Last synced: 24 Mar 2025
https://github.com/roldak/adacompute
An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.
ada ada-language dsl gpu opencl statically-typed
Last synced: 24 Mar 2025
https://github.com/roldak/mb-vector
Simple mutable vector implementation using the miniboxing plugin
Last synced: 24 Mar 2025
https://github.com/roldak/mb-benchmarks
Benchmarks for the Miniboxing plugin
Last synced: 24 Mar 2025
https://github.com/roldak/semesterproject2015
Contains the documents associated to my semester project done in 2015 at EPFL.
Last synced: 05 Jan 2026
https://github.com/roldak/mb-hashmap
Simple hashmap implementation using the miniboxing plugin
Last synced: 24 Mar 2025
https://github.com/roldak/dependz
Small dependent type calculus written in Langkit
Last synced: 16 Jul 2025