thvnx

mlmpfr

OCaml bindings for MPFR

admpfr

Ada bindings for MPFR

clang-fco

clang tool for source-to-source floating-point code optimization

madam

A simple emacs Ada mode

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

mlexn

OCaml modules for high precision floating-point computations

ada-light-mode

Light Emacs major mode for Ada

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

ada_libfswatch

prototype Ada binding to the libfswatch library https://github.com/emcrisostomo/fswatch/

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.

build-scripts

gcc

gdb-binutils

kit

Tool for git branch naming

langkit

Language creation framework.

libadalang

Ada semantic analysis library.

libadalang-tools

Libadalang-based tools

libmppadl

A dynamic loader for Kalray's MPPA

llvm-project

LLVM Kalray Coolidge Port

llvm-test-suite

llvm-tutor

A collection of out-of-tree LLVM passes for teaching and learning

newlib

ocaml

The core OCaml system: compilers, runtime system, base libraries

Synology_HDD_db

Add your HDD, SSD and NVMe drives to your Synology's compatible drive database

thvnx.github.io

My GitHub Pages

virtualagc

Virtual Apollo Guidance Computer (AGC) software

VSS

High level string and text processing library