lthms

Distributed under the terms of the MPL-2.0.

Nomadic LabsParis

Pinned Repositories

coqffi
Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
Language:OCaml32 4 268
chain
Extensible, Type Safe Error Handling in Haskell
Language:Haskell13 3 91
colorless-themes.el
Mirror of https://git.sr.ht/~lthms/colorless-themes.el
Language:Emacs Lisp34 3 42
coq-comparse
Your companion toolkit to write parsers with general-purpose combinators in Coq
Language:Coq4 4 01
coq-MiniHTTPServer
A minimal, certified, executable HTTP server written in Coq
Language:Coq9 4 04
FreeSpec
A framework for implementing and certifying impure computations in Coq
Language:Coq51 9 2211
keyr
A collection of tools to keep track of your keystrokes
Language:Rust10
manuscript
My PhD thesis
Language:TeX3 5 00
ogam
A markup language for story writers
Language:Rust41
spatial-shell
Implementing a spatial model inspired by Material Shell, for i3 and sway.
Language:OCaml75 4 110

lthms's Repositories

lthms/spatial-shell
Implementing a spatial model inspired by Material Shell, for i3 and sway.
Language:OCaml75 4 110
lthms/FreeSpec
A framework for implementing and certifying impure computations in Coq
Language:Coq51 9 2211
lthms/coq-comparse
Your companion toolkit to write parsers with general-purpose combinators in Coq
Language:Coq4 4 01
lthms/ogam
A markup language for story writers
Language:Rust41
lthms/extensible-records-minimal
Minimal example of using dmap to implement extensible records in OCaml
Language:OCaml2 2 00
lthms/cleopatra
cleopatra is a generic, extensible toolchain for literate programming projects
1
lthms/keyr
A collection of tools to keep track of your keystrokes
Language:Rust10
lthms/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:JavaScript1 3 0
lthms/speccert
Specifying and Verifying Hardware-based Security Enforcement
Language:Coq1 3 11
lthms/awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
2 0
lthms/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
0 0
lthms/beacon
A process that periodically reaches a target at a fixed interval
Language:Elixir
lthms/chains
Canonical type definitions for EIP-155 chains
lthms/coq-of-ocaml
Import OCaml programs to Coq 🐓 🐫
Language:OCaml2 0
lthms/coqffi
Coq to OCaml FFI made easy [maintainer=@lthms]
Language:OCaml2 0
lthms/eldoc-box
childframe doc for eglot (now for anything that uses eldoc)
Language:Emacs Lisp1 0
lthms/ezjsonm-encoding
Encoding combinators a la Data_encoding for Ezjsonm
Language:OCaml1 0
lthms/flycheck-ocaml
OCaml support for Flycheck using Merlin
Language:Emacs Lisp1 0
lthms/flycheck-popup-tip
Display Flycheck error messages using popup.el
Language:Emacs Lisp1 0
lthms/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
Language:Scheme1 0
lthms/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell1 0
lthms/runcat-tray
runcat system tray on Linux (using libappindicator)
Language:C0 0
lthms/soap.coffee-lthms
Contents of my personal website
Language:Lua
lthms/soupault-website
The soupault website
Language:HTML1 0
lthms/tezos-developer-docs
Tezos Developer Docs (beta)
lthms/teztnets
Automated Testnets
Language:TypeScript1 0
lthms/teztnets-1
Repository for the setup of the Tezos test network infrastructure
lthms/vim-bujo
A minimalist task manager for vim.
Language:Vim Script1 0
lthms/vim-monotone
A dark, monochrome colorscheme for vim
Language:Vim Script0 0
lthms/zbg
✨ Zero Bullshit Git