Laurent Thévenoux (@thvnx)
github

thvnx

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    21
  • Global Rank 621,339 (Top 22 %)
  • Followers 8
  • Following 11
  • Registered about 10 years ago
  • Most used languages
    OCaml
         50.0 %
    Python
         12.5 %
    Emacs Lisp
         12.5 %
    Ada
         12.5 %
    C++
         12.5 %

Top repositories

1

mlmpfr

OCaml bindings for MPFR
OCaml
10
star
2

admpfr

Ada bindings for MPFR
Ada
2
star
3

tracas

AArch64 trace analysis
OCaml
2
star
4

mlexn

OCaml modules for high precision floating-point computations
OCaml
1
star
5

clang-fco

clang tool for source-to-source floating-point code optimization
C++
1
star
6

calliope

GDB tool for instruction trace
Python
1
star
7

gcc-ci

1
star
8

cpmlx

An OCaml implementation of the Kahan--Thomas's complex arithmetic
OCaml
1
star
9

madam

A simple emacs Ada mode
Emacs Lisp
1
star