Raphaël AMIARD's repositories
clojurescript-lua
Clojurescript running on lua ! In construction
sublime-typescript
A sublime plugin for the typescript language - WIP
ada-synth-lib
Simple audio synthesis library
clojurescript
Clojure to JS compiler
cours-ada-epita
Contenus pour le cours d'Ada EPITA
LASY-epita
Cours Langages systèmes pour EPITA
ada-python-interfacing
Simple example of how to automatically interface Ada and Python
ada-py-bind
Ada library to simplify creation of Ada <-> Python bindings
raph-amiard.github.com
My pages
intro-to-ada
Introduction course to Ada
ace
Ace (Ajax.org Cloud9 Editor)
ada-reduce
Experimentations with reduce function in Ada
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
e3-testsuite
e3 testsuite driver
fosdem-presentations
Slides for FOSDEM 2018
kiui
Auto-layout Ui library, lightweight, skinnable and system agnostic, with an OpenGL backend
langkit-query-language
query language for Libadalang and Langkit
libadalang
Ada semantic analysis library.
libadalang-docs
Auto generated documentation for Libadalang
raph-amiard.github.io
Raphaël Amiard personal pages
rhythmbox
d(-_-)b
spring-launcher
Launcher for SpringRTS games