blob: 7b43d356c86b23d1d2c467a6c3d66ec2ee172ecc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
---
abstract: |
Welcome to my little corner of the Internel. You will find it dusty more
often than not, but it’s been there for quite a while now, and its contents
might be of interest for you. If that is the case, I’m thrilled, or I would
be if I knew
---
# Hi 👋
My name is Thomas Letan, and this is my little corner of the Internet.
You will find it dusty more often than not, but it’s been there for quite a
while now, and its contents might be of interest for you. If that is the case,
I’m thrilled.
## Latest Posts
@[archives](5)
[See more →](/posts)
## Projects
Here is a list of the free software projects I have most enjoyed writing, and
that made an impact on my daily life.
- [Spatial Shell](https://github.com/lthms/spatial-shell) (MPL-2.0) enables a
dynamic tiling management a la Material Shell and PaperWM.
- [**keyr**](https://sr.ht/~lthms/keyr) (GPL-3) lets you know how many
keystrokes you have made since you have started using it.
Additionally, you might be interested in the following software projects. I
don’t work on them actively anymore, but they reach a state where they could be
useful to you, and they work pretty well.
- [`coqffi`](https://github.com/coq-community/coqffi) (MIT) generates the
necessary boilerplate to use OCaml functions in a Coq development, and
configure the Coq extraction mechanism accordingly.
- [ogam](https://src.soap.coffee/crates/ogam.git/about) (MPL-2.0) is a
domain-specific markup language intended to free fiction writers from the
pain to enforce typographic rules themselves.
|