Pinned Loading

1. FaustML FaustML Public

   First order simply typed ML, proved (on paper) to be sound for polytime

   OCaml

2. Steiner-Symmetrization Steiner-Symmetrization Public

   A graphique representation of the Steiner Symmetrization, converging to the Euclidiens ball

   Python

3. YALTE YALTE Public

   Yet Another Lambda-Term Evaluator

   OCaml

4. IAM_reasonable_agda IAM_reasonable_agda Public

   An agda formalization of the typing of an encoding of Turing machines in lambda calculus

   Agda