Roldak

Pinned Repositories

AdaSAT
Language:Ada4 3 10
AdaCompute
An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.
Language:Ada1 3 00
AGC
Garbage collection for Ada
Language:Ada11 1 100
Dependz
Small dependent type calculus written in Langkit
Language:Python0 2 00
IPW
Interactive Proof Assistant for Welder
Language:Scala0 2 00
Madarch
Ray marching engine in Ada
Language:Ada4 2 10
mb-benchmarks
Benchmarks for the Miniboxing plugin
Language:Scala1 3 00
mb-vector
Simple mutable vector implementation using the miniboxing plugin
Language:Scala1 2 01
PlanetGeneration
Procedural generation of planets (or asteroids, etc.) using Unity.
Language:C#28 10 03
scastie
An interactive playground for Scala
Language:Scala3 2 00

Roldak's Repositories

Roldak/PlanetGeneration
Procedural generation of planets (or asteroids, etc.) using Unity.
Language:C#28 10 03
Roldak/AGC
Garbage collection for Ada
Language:Ada11 1 100
Roldak/Madarch
Ray marching engine in Ada
Language:Ada4 2 10
Roldak/scastie
An interactive playground for Scala
Language:Scala3 2 00
Roldak/AdaCompute
An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.
Language:Ada1 3 00
Roldak/mb-benchmarks
Benchmarks for the Miniboxing plugin
Language:Scala1 3 00
Roldak/mb-vector
Simple mutable vector implementation using the miniboxing plugin
Language:Scala1 2 01
Roldak/SFSL
Statically typed Functionnal Scripting Language
Language:C++1 2 115
Roldak/Dependz
Small dependent type calculus written in Langkit
Language:Python0 2 00
Roldak/IPW
Interactive Proof Assistant for Welder
Language:Scala0 2 00
Roldak/ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
1 0
Roldak/ada_language_server
prototype implementation of the Microsoft Language Server Protocol for Ada/SPARK
Language:Ada2 01
Roldak/adagbemu
Gameboy emulator in Ada
Language:Ada2 0
Roldak/dotty
Modified version of dotty suporting language specific and library-specific optimizations
Language:Scala2 0
Roldak/ECS
Simple entity component system library inspired from Unity.
Language:C++1 0
Roldak/gnatcoll-core
GNAT Components Collection – Core packages
Language:Ada1 0
Roldak/lal-checkers
Libadalang-based code checking infrastructure
Language:Python2 0
Roldak/lal2adair
Language:OCaml1 0
Roldak/langkit
Language creation framework.
Language:Python2 0
Roldak/libadalang
Ada semantic analysis library.
Language:Ada2 0
Roldak/mb-hashmap
Simple hashmap implementation using the miniboxing plugin
Language:Scala2 0
Roldak/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.
Language:Java2 0
Roldak/OpenGLAda
Thick Ada binding for OpenGL and GLFW
Language:Ada1 0
Roldak/roldak.github.io
web page
Language:JavaScript2 0
Roldak/ScastieWelder
A welder experience for Scastie
Language:Scala2 0
Roldak/SemesterProject2015
Contains the documents associated to my semester project done in 2015 at EPFL.
Language:TeX2 0
Roldak/sweng-test-exam
Language:Java2 0
Roldak/TIMScript
Language:C++2 25
Roldak/virtualization-lms-core
A Framework for Runtime Code Generation and Compiled DSLs
Language:Scala1 0
Roldak/welder
Interactive Theorem Proving on top of Inox.
Language:Scala2 0