Thomas Letan's repositories
spatial-shell
Implementing a spatial model inspired by Material Shell, for i3 and sway.
coq-comparse
Your companion toolkit to write parsers with general-purpose combinators in Coq
extensible-records-minimal
Minimal example of using dmap to implement extensible records in OCaml
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
beacon
A process that periodically reaches a target at a fixed interval
chains
Canonical type definitions for EIP-155 chains
coq-of-ocaml
Import OCaml programs to Coq 🐓 🐫
ezjsonm-encoding
Encoding combinators a la Data_encoding for Ezjsonm
flycheck-ocaml
OCaml support for Flycheck using Merlin
flycheck-popup-tip
Display Flycheck error messages using popup.el
nvim-treesitter
Nvim Treesitter configurations and abstraction layer
opam-repository
Main public package repository for opam, the source package manager of OCaml.
runcat-tray
runcat system tray on Linux (using libappindicator)
soap.coffee-lthms
Contents of my personal website
soupault-website
The soupault website
tezos-developer-docs
Tezos Developer Docs (beta)
teztnets-1
Repository for the setup of the Tezos test network infrastructure
vim-monotone
A dark, monochrome colorscheme for vim
zbg
✨ Zero Bullshit Git