Roldak

PlanetGeneration

Procedural generation of planets (or asteroids, etc.) using Unity.

AGC

Garbage collection for Ada

Madarch

Ray marching engine in Ada

scastie

An interactive playground for Scala

AdaCompute

An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.

mb-benchmarks

Benchmarks for the Miniboxing plugin

mb-vector

Simple mutable vector implementation using the miniboxing plugin

SFSL

Statically typed Functionnal Scripting Language

Dependz

Small dependent type calculus written in Langkit

IPW

Interactive Proof Assistant for Welder

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

ada_language_server

prototype implementation of the Microsoft Language Server Protocol for Ada/SPARK

adagbemu

Gameboy emulator in Ada

dotty

Modified version of dotty suporting language specific and library-specific optimizations

ECS

Simple entity component system library inspired from Unity.

gnatcoll-core

GNAT Components Collection – Core packages

lal-checkers

Libadalang-based code checking infrastructure

lal2adair

langkit

Language creation framework.

libadalang

Ada semantic analysis library.

mb-hashmap

Simple hashmap implementation using the miniboxing plugin

miniboxing-plugin

Miniboxing is a Scala compiler transformation that improves the performance of generics for primitive numeric types. Unlike specialization, miniboxing reduces the amount of generated bytecode without sacrificing execution speed, therefore being capable of transforming the Scala collections hierachy.

OpenGLAda

Thick Ada binding for OpenGL and GLFW

roldak.github.io

web page

ScastieWelder

A welder experience for Scastie

SemesterProject2015

Contains the documents associated to my semester project done in 2015 at EPFL.

sweng-test-exam

TIMScript

virtualization-lms-core

A Framework for Runtime Code Generation and Compiled DSLs

welder

Interactive Theorem Proving on top of Inox.