-
ada-spark-rfcs Public
Forked from AdaCore/ada-spark-rfcsPlatform to submit RFCs for the Ada & SPARK languages
UpdatedApr 2, 2024 -
Madarch Public
Ray marching engine in Ada
-
AGC Public
Garbage collection for Ada
-
langkit Public
Forked from AdaCore/langkitLanguage creation framework.
Python Other UpdatedJan 15, 2023 -
libadalang Public
Forked from AdaCore/libadalangAda semantic analysis library.
Ada Other UpdatedJan 15, 2023 -
OpenGLAda Public
Forked from flyx/OpenGLAdaThick Ada binding for OpenGL and GLFW
Ada MIT License UpdatedMar 7, 2022 -
gnatcoll-core Public
Forked from AdaCore/gnatcoll-coreGNAT Components Collection – Core packages
Ada Other UpdatedApr 13, 2021 -
ada_language_server Public
Forked from AdaCore/ada_language_serverprototype implementation of the Microsoft Language Server Protocol for Ada/SPARK
-
ECS Public
Forked from danielmercier/ECSSimple entity component system library inspired from Unity.
C++ UpdatedAug 28, 2020 -
AdaCompute Public
An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.
-
-
-
virtualization-lms-core Public
Forked from TiarkRompf/virtualization-lms-coreA Framework for Runtime Code Generation and Compiled DSLs
Scala BSD 3-Clause "New" or "Revised" License UpdatedFeb 27, 2019 -
-
lal-checkers Public
Forked from AdaCore/lal-checkersLibadalang-based code checking infrastructure
Python Other UpdatedOct 20, 2018 -
-
scastie Public
Forked from scalacenter/scastieAn interactive playground for Scala
-
welder Public
Forked from epfl-lara/welderInteractive Theorem Proving on top of Inox.
Scala UpdatedAug 20, 2017 -
-
dotty Public
Forked from dotty-linker/dottyModified version of dotty suporting language specific and library-specific optimizations
Scala Other UpdatedDec 21, 2016 -
SFSL Public
Statically typed Functionnal Scripting Language
-
PlanetGeneration Public
Procedural generation of planets (or asteroids, etc.) using Unity.
-
SemesterProject2015 Public
Contains the documents associated to my semester project done in 2015 at EPFL.
TeX UpdatedJun 6, 2015 -
mb-vector Public
Simple mutable vector implementation using the miniboxing plugin
-
roldak.github.io Public
Forked from miniboxing/miniboxing.github.ioweb page
JavaScript Other UpdatedMay 8, 2015 -
-
miniboxing-plugin Public
Forked from miniboxing/miniboxing-pluginMiniboxing is a Scala compiler transformation that improves the performance of generics for primitive numeric types. Unlike specialization, miniboxing reduces the amount of generated bytecode witho…
Java Other UpdatedApr 29, 2015 -
mb-hashmap Public
Simple hashmap implementation using the miniboxing plugin
Scala UpdatedApr 23, 2015 -
-
{{ message }}