Discover @amblafont Open Source projects

Ambroise (@amblafont)

amblafont

Stars
45
Global Rank 367,370 (Top 13 %)
Followers 21
Registered over 12 years ago
Most used languages

Coq 27.3 %

TeX
27.3 %

Isabelle 18.2 %

OCaml
9.1 %

Agda 9.1 %

Elm
9.1 %
Location 🇫🇷 France
Country Total Rank 18,880
Country Ranking

Isabelle 1

Agda 4

Coq 29

Elm
36

TeX
108

OCaml
144

unification

Notes (and implementation) of unification with binders

sedlex-menhir

Small example: sedlex-menhir vs ocamllex-ocamlyacc

graph-editor-web

An online graph editor written in Elm

UniversalII

with UIP and rewrite rules in agda

Skew-Monoidalcategories

Skew monoidal categories in UniMath with structural strengths

binding-debruijn

Initial semantics (de Bruijn) for binding signature

bell-quantum-experiment

Article explaining bell's violation of the inequalities

thomas

The article with Thomas

thesis

Pdf de ma thèse

AutoCorres

changes to autocorres 1.6

notes

Some notes about various stuff

dargent-examples

Dargent layout specs in cogent

admissible-initial

Initial Semantics for admissible operations