Pinned Repositories
coqffi
Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
bepo-tsrn.nvim
Opinionated mappings for the bepo layout in Lua, remapping hjkl to tsrn instead of ctsr.
chain
Extensible, Type Safe Error Handling in Haskell
colorless-themes.el
Mirror of https://git.sr.ht/~lthms/colorless-themes.el
coq-MiniHTTPServer
A minimal, certified, executable HTTP server written in Coq
FreeSpec
A framework for implementing and certifying impure computations in Coq
keyr
A collection of tools to keep track of your keystrokes
nspawn
Opinionated helper to help me create systemd-nspawn containers
ogam
A markup language for story writers
spatial-shell
Implementing a spatial model inspired by Material Shell, for i3 and sway.
lthms's Repositories
lthms/spatial-shell
Implementing a spatial model inspired by Material Shell, for i3 and sway.
lthms/FreeSpec
A framework for implementing and certifying impure computations in Coq
lthms/jsonrpc2
JSON RPC 2.0 for OCaml
lthms/ogam
A markup language for story writers
lthms/extensible-records-minimal
Minimal example of using dmap to implement extensible records in OCaml
lthms/bepo-tsrn.nvim
Opinionated mappings for the bepo layout in Lua, remapping hjkl to tsrn instead of ctsr.
lthms/celtchar
lthms/cleopatra
cleopatra is a generic, extensible toolchain for literate programming projects
lthms/keyr
A collection of tools to keep track of your keystrokes
lthms/nspawn
Opinionated helper to help me create systemd-nspawn containers
lthms/awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
lthms/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
lthms/beacon
A process that periodically reaches a target at a fixed interval
lthms/chainlist
lthms/chains
Canonical type definitions for EIP-155 chains
lthms/chains-1
provides metadata for chains
lthms/docs-etherlink
The Etherlink documentation brought to you by Docusaurus 🤝
lthms/eww
ElKowars wacky widgets
lthms/ezjsonm-encoding
Encoding combinators a la Data_encoding for Ezjsonm
lthms/gluon
Minimal, fast async engine for OCaml
lthms/lz-etherlink
lthms/opam-repository
Main public package repository for opam, the source package manager of OCaml.
lthms/riot
An actor-model multi-core scheduler for OCaml 5 🐫
lthms/runcat-tray
runcat system tray on Linux (using libappindicator)
lthms/soap.coffee-lthms
Contents of my personal website
lthms/tezos-developer-docs
Tezos Developer Docs (beta)
lthms/teztnets-1
Repository for the setup of the Tezos test network infrastructure
lthms/vim-monotone
A dark, monochrome colorscheme for vim
lthms/ward
lthms/zbg
✨ Zero Bullshit Git