Laurent Thévenoux's repositories
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
libadalang
Ada semantic analysis library.
ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
Synology_HDD_db
Add your HDD, SSD and NVMe drives to your Synology's compatible drive database
ada-light-mode
Light Emacs major mode for Ada
adaventofcode
advent of code in Ada!
alire-index
Community index for the Alire project
aws
AWS is a complete framework to develop Web based applications in Ada.
langkit
Language creation framework.
thvnx.github.io
My GitHub Pages
libadalang-tools
Libadalang-based tools
llvm-project
LLVM Kalray Coolidge Port
virtualagc
Virtual Apollo Guidance Computer (AGC) software
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
VSS
High level string and text processing library
ada_libfswatch
prototype Ada binding to the libfswatch library https://github.com/emcrisostomo/fswatch/
libmppadl
A dynamic loader for Kalray's MPPA
kit
Tool for git branch naming
ocaml
The core OCaml system: compilers, runtime system, base libraries