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

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

chainlist

chains

Canonical type definitions for EIP-155 chains

chains-1

provides metadata for 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]

docs-etherlink

The Etherlink documentation brought to you by Docusaurus 🤝

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)

eww

ElKowars wacky widgets

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