Thomas Letan (lthms)

lthms

Geek Repo

Location:Paris

Home Page:https://soap.coffee/~lthms/

Github PK Tool:Github PK Tool


Organizations
coq-community
detiq-t
eiimage
lkn-org
ogma-project
ezoic increase your site revenue

Thomas Letan's repositories

FreeSpec

A framework for implementing and certifying impure computations in Coq

Language:CoqLicense:MPL-2.0Stargazers:50Issues:8Issues:22

colorless-themes.el

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

Language:Emacs LispLicense:GPL-3.0Stargazers:35Issues:2Issues:4

chain

Extensible, Type Safe Error Handling in Haskell

coq-MiniHTTPServer

A minimal, certified, executable HTTP server written in Coq

Language:CoqStargazers:7Issues:3Issues:0

coq-comparse

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

Language:CoqLicense:GPL-3.0Stargazers:3Issues:3Issues:0

manuscript

My PhD thesis

Language:TeXStargazers:2Issues:0Issues:0

dotfiles

Emacs, neovim and zsh

Language:Vim scriptStargazers:1Issues:2Issues:0

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

Language:JavaScriptLicense:LGPL-2.1Stargazers:1Issues:2Issues:0

speccert

Specifying and Verifying Hardware-based Security Enforcement

Language:CoqLicense:NOASSERTIONStargazers:1Issues:2Issues:1

awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]

License:CC0-1.0Stargazers:0Issues:1Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:2Issues:0

coq-ext-lib

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

Language:CoqLicense:NOASSERTIONStargazers:0Issues:1Issues:0

coq-of-ocaml

Import OCaml programs to Coq 🐓 🐫

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

coq-prelude

General-purpose monad typeclass hierarchy for Coq

License:GPL-3.0Stargazers:0Issues:0Issues:0

coqffi

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

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

dune

A composable build system for OCaml.

License:MITStargazers:0Issues:0Issues:0
Language:CoqStargazers:0Issues:2Issues:0

flux

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

Language:HaskellStargazers:0Issues:2Issues:0

melpa

Recipes and build machinery for the biggest Emacs package repo

Language:Emacs LispLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ogmarkup

Mirror of ogmarkup repository

Language:RustStargazers:0Issues:0Issues:0

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:0Issues:0

Plume

Federated blogging application, thanks to ActivityPub

Language:RustLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

rocket_csrf

Rocket fairing for automatic csrf protection

Language:RustLicense:GPL-3.0Stargazers:0Issues:0Issues:0

rocket_i18n

A crate to help you internationalize your Rocket applications.

Language:RustLicense:GPL-3.0Stargazers:0Issues:0Issues:0

soupault-website

The soupault website

Language:HTMLLicense:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0

stgit

Stacked Git

Language:PythonLicense:GPL-2.0Stargazers:0Issues:1Issues:0

templates

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

License:UnlicenseStargazers:0Issues:0Issues:0
Stargazers:0Issues:2Issues:0

teztnets

Automated Testnets

Stargazers:0Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0