Thomas Letan (@lthms)
github

lthms

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    280
  • Global Rank 94,216 (Top 4 %)
  • Followers 100
  • Following 11
  • Registered about 13 years ago
  • Most used languages
    OCaml
         21.4 %
    Coq     21.4 %
    Rust
         14.3 %
    Haskell
         14.3 %
    Emacs Lisp
         7.1 %
    Lua
         7.1 %
    Makefile     7.1 %
    TeX
         7.1 %
  • Location 🇫🇷 France
  • Country Total Rank 2,977
  • Country Ranking
    Coq     10
    OCaml
         34
    Emacs Lisp
         42
    Haskell
         63
    TeX
         373
    Makefile     640
    Rust
         717
    Lua
         844

Top repositories

1

spatial-shell

Implementing a spatial model inspired by Material Shell, for i3 and sway.
OCaml
87
star
2

FreeSpec

A framework for implementing and certifying impure computations in Coq
Coq
51
star
3

colorless-themes.el

Mirror of https://git.sr.ht/~lthms/colorless-themes.el
Emacs Lisp
35
star
4

chain

Extensible, Type Safe Error Handling in Haskell
Haskell
13
star
5

jsonrpc2

JSON RPC 2.0 for OCaml
OCaml
6
star
6

ogam

A markup language for story writers
Rust
4
star
7

coq-comparse

Your companion toolkit to write parsers with general-purpose combinators in Coq
Coq
4
star
8

manuscript

My PhD thesis
TeX
3
star
9

extensible-records-minimal

Minimal example of using dmap to implement extensible records in OCaml
OCaml
2
star
10

speccert

Specifying and Verifying Hardware-based Security Enforcement
Coq
1
star
11

lkn-series

Tutorials about lkn
Makefile
1
star
12

auth-token

Token-based Authentication
Haskell
1
star
13

bepo-tsrn.nvim

Opinionated mappings for the bepo layout in Lua, remapping hjkl to tsrn instead of ctsr.
Lua
1
star
14

keyr

A collection of tools to keep track of your keystrokes
Rust
1
star
15

cleopatra

cleopatra is a generic, extensible toolchain for literate programming projects
1
star