Eloi Torrents's repositories
ZigWindowManager
A basic window manager written in Zig.
btquotients
Computing with quotients of the Bruhat-Tits tree
Calendar.js
📅 A javascript drag & drop event calendar, that is fully responsive and compatible with all modern browsers.
tree-sitter-sagemath_old
Sagemath grammar for tree-sitter
dooble
Dooble is a scientific browser. Minimal, cute, unusually stable, and available almost everywhere. Completed.
fbkeyboard
a simple on screen keyboard for fbdev
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
helix
A post-modern modal text editor.
jpexs-decompiler
JPEXS Free Flash Decompiler
lemmify
A library for typesetting mathematical theorems in typst.
marimo
A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.
octoxbps
A Qt-based XBPS front end
osmin
GPS Navigator On-Road/Off-Road for Android and Linux devices
Porto
Edit Jupyter notebooks on the desktop - written in Python with Gtk
ruleofsigns
Formalization of Descartes' rule of signs in Lean
sage-old
Mirror of the Sage source tree -- please do not submit PRs here -- everything must be submitted via https://trac.sagemath.org/, though this may change soon! (see https://trac.sagemath.org/ticket/30363)
sagemath
Main repository of SageMath. Now open for Issues and Pull Requests.
Softcatala-Qt-Linguist-phrasebook
Memòries de traducció de Softacatlà per Qt Linguist.
starter
Starter template for LazyVim
thumb-key
A privacy-conscious Android keyboard made for your thumbs
tmx2qph
Converts Translation Memory eXchange (.tmx) files into Qt Phrase Books (.qph)
ultimate-tic-tac-toe
Play Ultimate Tic Tac Toe
void-mklive
The Void Linux live image maker
void-packages
The Void source packages collection
wasp-companion
Companion app for wasp-os
wasp-os
A MicroPython based development environment for smart watches (including Pine64 PineTime)
zaread
A (very) lightweight MS Office file reader