Eloi Torrents's Projects
List of Continuous Integration services
A simple Brainfuck interpreter written in Formality.
Computing with quotients of the Bruhat-Tits tree
📅 A javascript drag & drop event calendar, that is fully responsive and compatible with all modern browsers.
Allows adding extensions from chrome web store on ungoogled-chromium. Also adds semi-automatic extension updating.
Sage package to compute Darmon points
A docker image for Zig with X11 and Xft librariesbased upon Alpine Linux 3.12.
Dooble is a scientific browser. Minimal, cute, unusually stable, and available almost everywhere. Completed.
How I build my website. Bilingual and entirely in markdown.
Some solutions for exercises from Henri Darmon's book "Rational points on modular elliptic curves"
a simple on screen keyboard for fbdev
Ffidl for Tcl8.6
Proving the four squares theorem using modular forms. Assuming intermediate propositions, ideally as little as possible.
An introduction to theorem proving in Lean for the impatient.
Interactive graphical desktop environment for LiveG OS.
A post-modern modal text editor.
Firmware for Pinetime smartwatch written in C/C++ and based on FreeRTOS
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
JPEXS Free Flash Decompiler
Ascend your Jupyter Notebook usage
Template for lean projects with CI
An action to upgrade Lean and mathlib versions to their latest
A library for typesetting mathematical theorems in typst.
Linux kernel source tree
Linux App to save and view all your loyalty cards and any kind of card. Ready to use with a Linux Phone.
A fork of Learning with Texts (LWT), a tool for Language Learning. Official download at:
City data repository for mapnificent.net