Pinned Repositories
langkit
Language creation framework.
libadalang
Ada semantic analysis library.
admpfr
Ada bindings for MPFR
calliope
GDB tool for instruction trace
clang-fco
clang tool for source-to-source floating-point code optimization
cpmlx
An OCaml implementation of the Kahan--Thomas's complex arithmetic
gcc-ci
mlexn
OCaml modules for high precision floating-point computations
mlmpfr
OCaml bindings for MPFR
tracas
AArch64 trace analysis
thvnx's Repositories
thvnx/mlmpfr
OCaml bindings for MPFR
thvnx/admpfr
Ada bindings for MPFR
thvnx/clang-fco
clang tool for source-to-source floating-point code optimization
thvnx/madam
A simple emacs Ada mode
thvnx/mlexn
OCaml modules for high precision floating-point computations
thvnx/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
thvnx/ada-light-mode
Light Emacs major mode for Ada
thvnx/ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
thvnx/ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
thvnx/ada_libfswatch
prototype Ada binding to the libfswatch library https://github.com/emcrisostomo/fswatch/
thvnx/adaventofcode
advent of code in Ada!
thvnx/alire-index
Community index for the Alire project
thvnx/aws
AWS is a complete framework to develop Web based applications in Ada.
thvnx/build-scripts
thvnx/gcc
thvnx/gdb-binutils
thvnx/kit
Tool for git branch naming
thvnx/langkit
Language creation framework.
thvnx/libadalang
Ada semantic analysis library.
thvnx/libadalang-tools
Libadalang-based tools
thvnx/libmppadl
A dynamic loader for Kalray's MPPA
thvnx/llvm-project
LLVM Kalray Coolidge Port
thvnx/llvm-test-suite
thvnx/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
thvnx/newlib
thvnx/ocaml
The core OCaml system: compilers, runtime system, base libraries
thvnx/Synology_HDD_db
Add your HDD, SSD and NVMe drives to your Synology's compatible drive database
thvnx/thvnx.github.io
My GitHub Pages
thvnx/virtualagc
Virtual Apollo Guidance Computer (AGC) software
thvnx/VSS
High level string and text processing library