---
title: "Projects"
---

# Reading

## >> Wittgenstein's "De la certitude"

Participants: Vincent Moreau, Tito, Boris Eng, Sidney Congard.

# Development of Girard's Transcendental Syntax

## >> Development of the Stellogen programming language

<div class="desc-box">Participants: Boris Eng.</div>
Stellogen is a minimalistic and logic-agnostic programming language based on
term unification. The goal is to develop a programming language and a guide
(in the idea of Software Foundations for Coq) in order to make the ideas of
Girard's transcendental syntax more accessible. Exercises (with solutions) have
to be designed to open the development of transcendental syntax to
contributions.

- [https://github.com/engboris/stellogen](https://github.com/engboris/stellogen)
- [https://tsguide.refl.fr](https://tsguide.refl.fr)
- [https://tsguide.refl.fr/en](https://tsguide.refl.fr/en)

## >> A new manifest for transcendental syntax

<div class="desc-box">Participants: Boris Eng.</div>
Writing of a roadmap for transcendental syntax with an analysis of various
fields of logic and computation and several links with other fields. The point
is to show that transcendental syntax is actually a big project.

## >> Tunes OS: a reflexive operating system

<div class="desc-box">Participants: Jérémy Hervé, Faré.</div>
Exploration of the idea of a reflexive operating system which would be based
of a minimal and reliable kernel of computation and which should be able to
perform navigation and alteration between several levels of abstraction within
a same system. Investigate on whether transcendental syntax can be involved
here.

# Past activities

## >> Reading of Kant

Participants: Ambroise Lafont, Sidney Congard, Jérémy Hervé, Luc Pommeret, Paul
Séjourné.

## >> Reading and comments on Krivine's "Les décompilateurs"

By Boris Eng.

## >> Normalisation by Evaluation (NbE)

Participants: Vincent Moreau, Ambroise Lafont, Tito, Valentin Maestracci,
Sidney Congard.

