lthms Goto Github PK

atom-one-dark-theme

Atom One Dark - An Emacs port of the Atom One Dark theme from Atom.io.

auth-token

Token-based Authentication

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

chain

Extensible, Type Safe Error Handling in Haskell

chains

Canonical type definitions for EIP-155 chains

cleopatra

cleopatra is a generic, extensible toolchain for literate programming projects

colorless-themes.el

Mirror of https://git.sr.ht/~lthms/colorless-themes.el

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-comparse

Your companion toolkit to write parsers with general-purpose combinators in Coq

coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

coq-minihttpserver

A minimal, certified, executable HTTP server written in Coq

coq-of-ocaml

Import OCaml programs to Coq 🐓 🐫

coq-prelude

General-purpose monad typeclass hierarchy for Coq

coq2rust

Coq to Rust program extraction. The whole tree is on the original Coq code base.

coqffi

Coq to OCaml FFI made easy [maintainer=@lthms]

dotfiles-1

config files

dune

A composable build system for OCaml.

dune-issue-4158

eldoc-box

childframe doc for eglot (now for anything that uses eldoc)

extensible-records-minimal

Minimal example of using dmap to implement extensible records in OCaml

ezjsonm-encoding

Encoding combinators a la Data_encoding for Ezjsonm

flatui-theme.el

A color theme for Emacs based on flatuicolors.com

flux

From one treatment to another, get the flux right in Haskell

flycheck-ocaml

OCaml support for Flycheck using Merlin

flycheck-popup-tip

Display Flycheck error messages using popup.el

freespec

A framework for implementing and certifying impure computations in Coq

keyr

A collection of tools to keep track of your keystrokes

lkn-series

Tutorials about lkn