Thomas Letan
Results
3
repositories owned by
Thomas Letan
FreeSpec
51
Stars
11
Forks
Watchers
A framework for implementing and certifying impure computations in Coq
colorless-themes.el
34
Stars
2
Forks
Watchers
Mirror of https://git.sr.ht/~lthms/colorless-themes.el
spatial-shell
80
Stars
0
Forks
Watchers
Implementing a spatial model inspired by Material Shell, for i3 and sway.