00 Projects¶

Active projects¶

Hop3 - an open-source self-hosted platform as a service (PaaS) aimed at enhancing cloud computing with a focus on sovereignty, security, sustainability, and inclusivity.
HyperOpenX - aims to create an open and convergent cloud offering by bringing together the leading French cloud computing technology creators.
Python to WASM Compiler - a compiler from Python to WebAssembly, on top of WASM GC. Published on PyPI as p2w.

NUA - a self-hosted cloud platform project (a PaaS - platform as a service) using containers. Superseded in practice by Hop3.
Pagic - page-oriented web framework, on top of Flask. Superseded by situ.
NEPHELE (2025) - H3NI, our NEPHELE Open Call project, integrating Hop3 with the Synergetic Meta-Orchestrator (SMO).
EU OS (2025) - our contribution to the EU OS community project, around its proof of concept.
flake8-ecocode - a port of the ecoCode Python plugin to Flake8, published on PyPI.
Cython+ (2020-2022) - multi-core concurrent programming in Python.
Wendelin (2014-2019) - open-source big data engine.

Abilian SBE - Social Business Engine (Intranet 3.0 platform / digital workplace). Still maintained, outside the lab’s R&D work.

Smaller tools and libraries that come out of the lab’s work, each documented on its own site.

Compilers, analysis and program transformation

astero - Declared grammars for ASTs and IRs: the binding, traversal and precedence tables a compiler pass needs, derived from one declaration of the syntax tree.
postpile - Ahead-of-time compiler for POST Python, the statically typed subset. C, QBE, LLVM and WASM backends, around 55x CPython on numeric kernels, results byte-identical to CPython’s.
forall - Symbolic verifier for type-annotated Python. Lowers each function to SMT and either finds a replayable crash or proves crash-freedom, without running the code.
situ - A Python to JavaScript component compiler for Litestar, ASGI and Flask. You write one reactive component and declare, per piece of state, whether it lives on the client or on the server.
redef - Program transformation in Python: what the ecosystem builds in the absence of macros, what that costs, and how to rewrite a function correctly. Papers plus a library.

Terminal and developer tools

letscode - Minimal coding agent for the terminal, against any OpenAI-compatible endpoint.
terminux - Cross-platform desktop terminal organised around workspaces.
turbodesk - Terminal UIs as pure functions from state to an immutable view tree.
TurboVI - A vi clone in about 4,800 lines of Python.

Infrastructure and deployment

Punix - Package manager and service deployer for macOS and Linux: reproducible builds into a content-addressed store, atomic installs, one-second rollback, deploys over plain SSH.
cloudalone - A single-machine cloud that speaks the Hetzner Cloud API, so the hcloud CLI works against your own box.

Documents and figures

simplemark - Small markup language for Python docstrings and argparse help text, a subset of CommonMark.
svg-plus - SVG figures written from their content: self-measuring blocks, Knuth-Plass paragraphs against real font metrics.

Applications

Ospobox - OSPO in a box: monitoring of open source activity across code hosting platforms.