Discover @lthms Open Source projects

Thomas Letan (@lthms)

lthms

Stars
266
Global Rank 96,211 (Top 4 %)
Followers 98
Following 10
Registered over 12 years ago
Most used languages

Haskell
15.4 %

OCaml
15.4 %

Rust
15.4 %

Coq 15.4 %

Emacs Lisp
7.7 %

Makefile 7.7 %

TeX
7.7 %

JavaScript
7.7 %

Lua
7.7 %
Location 🇫🇷 France
Country Total Rank 2,977
Country Ranking

Coq 8

OCaml
38

Emacs Lisp
42

Haskell
65

TeX
378

Makefile 440

Rust
749

Lua
849

spatial-shell

Implementing a spatial model inspired by Material Shell, for i3 and sway.

FreeSpec

A framework for implementing and certifying impure computations in Coq

colorless-themes.el

Mirror of https://git.sr.ht/~lthms/colorless-themes.el

chain

Extensible, Type Safe Error Handling in Haskell

coq-MiniHTTPServer

A minimal, certified, executable HTTP server written in Coq

ogam

A markup language for story writers

manuscript

extensible-records-minimal

Minimal example of using dmap to implement extensible records in OCaml

speccert

Specifying and Verifying Hardware-based Security Enforcement

lkn-series

Tutorials about lkn

auth-token

Token-based Authentication

bepo-tsrn.nvim

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

keyr

A collection of tools to keep track of your keystrokes

cleopatra

cleopatra is a generic, extensible toolchain for literate programming projects