Pinned Repositories
gnat-llvm
LLVM based GNAT compiler
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
gtkada
Ada bindings for the GTK+ graphical library.
ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
datasciencecoursera
datasharing
The Leek group guide to data sharing
langkit
Language creation framework.
ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
Storage_Model_Tests
QuentinOchem's Repositories
QuentinOchem/ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
QuentinOchem/datasciencecoursera
QuentinOchem/datasharing
The Leek group guide to data sharing
QuentinOchem/langkit
Language creation framework.
QuentinOchem/ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
QuentinOchem/Storage_Model_Tests