roldak Goto Github PK

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

adacompute

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

adagbemu

Gameboy emulator in Ada

agc

Garbage collection for Ada

dependz

Small dependent type calculus written in Langkit

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

ipw

Interactive Proof Assistant for Welder

lal-checkers

Libadalang-based code checking infrastructure

lal2adair

langkit

Language creation framework.

libadalang

Ada semantic analysis library.

madarch

Ray marching engine in Ada

mb-benchmarks

Benchmarks for the Miniboxing plugin

mb-hashmap

Simple hashmap implementation using the miniboxing plugin

mb-vector

Simple mutable vector 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

planetgeneration

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

roldak.github.io

web page

scastie

An interactive playground for Scala

scastiewelder

A welder experience for Scastie

semesterproject2015

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

sfsl

Statically typed Functionnal Scripting Language

sweng-test-exam

timscript

virtualization-lms-core

A Framework for Runtime Code Generation and Compiled DSLs

welder

Interactive Theorem Proving on top of Inox.