13thptr

sanitizers

AddressSanitizer, ThreadSanitizer, MemorySanitizer

13thptr

13thptr.github.io

Anki-Union

archive_site_personnel

My personal website - projects showcase, blog and more

awesome-interactive-math

A curated list of tools that can be used for creating interactive mathematical explorables.

emacs-application-framework

Emacs application framework

emacs-gtd

Get Things Done with Emacs

graphbrain

Language, Knowledge, Cognition

ms2a

Colabs

Dépôt pour les fichiers Google Colab /Jupyter utilisés pour l'analyse des données expérimentales.(.ipynb)

DM_info

finito.el

📚 View books in Emacs 📚

git-gud

Wanna git gud? Then get git-gud, and git gud at git!

larousse_api

Scraping program of larousse website

lgarcin.github.io

Site de maths de la MPSI du Lycée Corot (Savigny-sur-Orge)

mathpix.el

Mathpix Emacs Plugin

nitter

Alternative Twitter front-end

ocaml

The core OCaml system: compilers, runtime system, base libraries

open-format

community development of a well-documented open import/export format for online, interactive math exercises, hosted by www.grasple.com, an online practice and assessment platform for STEM courses.

orbit

Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention

org-books

Reading list management with org mode

org-roam

Rudimentary Roam replica with Org-mode

projet_NSI

projets-info-janvier-2022

Projets d'Informatique de Janvier 2021 (DM3)

projets_site

Dépôt de sauvegarde des applications et autres pages interactives disponibles sur mon site

pyodide

Python with the scientific stack, compiled to WebAssembly.

remarkable_entware

Entware installer modified for reMarkable Tablet

textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

UWP-SDK

Neo smartpen SDK 2.0 for Universal Windows Platform