fthire's repositories
DeduktiEncodings
Various encoding written in Dedukti
dkP
Yet another tool for Dedukti to replace rewrite rules to equalities
Language:OCaml000
grace
A fancy diagnostics library that allows your compilers to exit with grace
Language:OCamlMIT000
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:ShellCC0-1.0000
SharingAnArithmeticLibrary
This repository presents an arithmetic library that is shared between several proof systems
teztnets
Repository for the setup of the Tezos test network infrastructure
000
type-systems-framework
An experiment about sharing the same framework for different type systems
vg
Declarative 2D vector graphics for OCaml
Language:OCamlISC000
zds-coding-gouter
Ressources for the zds meeting during the french event "coding goûter"