lthms

colorless-themes.el

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

chain

Extensible, Type Safe Error Handling in Haskell

coq-MiniHTTPServer

A minimal, certified, executable HTTP server written in Coq

manuscript

My PhD thesis

auth-token

Token-based Authentication

lkn-series

Tutorials about lkn

atom-one-dark-theme

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

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-ext-lib

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

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.

dotfiles-1

config files

dune

A composable build system for OCaml.

dune-issue-4158

flatui-theme.el

A color theme for Emacs based on flatuicolors.com

flux

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

lykan

melpa

Recipes and build machinery for the biggest Emacs package repo

nano2016

Participation brute au NaNoWriMo 2016

ogmarkup

Mirror of ogmarkup repository

Plume

Federated blogging application, thanks to ActivityPub

rocket_csrf

Rocket fairing for automatic csrf protection

rocket_i18n

A crate to help you internationalize your Rocket applications.

templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]

test-transfer

varuna-demo

varuna over Github Pages

zmarkdown