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.
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.
A post-modern modal text editor.
Firmware for Pinetime smartwatch written in C/C++ and based on FreeRTOS
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
A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.
cat for markdown
Mirror for MikeOS 4.5 - Simple and educational Operating System written by Mike Saunders
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent