Pinned Repositories
13thptr
13thptr.github.io
Anki-Union
archive_site_personnel
My personal website - projects showcase, blog and more
awesome-knowledge-management
A curated list of amazingly awesome articles, people, applications, software libraries and projects related to the knowledge management space
emacs-application-framework
Emacs application framework
graphbrain
Language, Knowledge, Cognition
ms2a
sanitizers
AddressSanitizer, ThreadSanitizer, MemorySanitizer
toby_for_firefox
13thptr's Repositories
13thptr/sanitizers
AddressSanitizer, ThreadSanitizer, MemorySanitizer
13thptr/13thptr
13thptr/13thptr.github.io
13thptr/Anki-Union
13thptr/archive_site_personnel
My personal website - projects showcase, blog and more
13thptr/awesome-interactive-math
A curated list of tools that can be used for creating interactive mathematical explorables.
13thptr/emacs-application-framework
Emacs application framework
13thptr/emacs-gtd
Get Things Done with Emacs
13thptr/graphbrain
Language, Knowledge, Cognition
13thptr/ms2a
13thptr/Colabs
Dépôt pour les fichiers Google Colab /Jupyter utilisés pour l'analyse des données expérimentales.(.ipynb)
13thptr/DM_info
13thptr/finito.el
📚 View books in Emacs 📚
13thptr/git-gud
Wanna git gud? Then get git-gud, and git gud at git!
13thptr/larousse_api
Scraping program of larousse website
13thptr/lgarcin.github.io
Site de maths de la MPSI du Lycée Corot (Savigny-sur-Orge)
13thptr/mathpix.el
Mathpix Emacs Plugin
13thptr/nitter
Alternative Twitter front-end
13thptr/ocaml
The core OCaml system: compilers, runtime system, base libraries
13thptr/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.
13thptr/orbit
Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention
13thptr/org-books
Reading list management with org mode
13thptr/org-roam
Rudimentary Roam replica with Org-mode
13thptr/projet_NSI
13thptr/projets-info-janvier-2022
Projets d'Informatique de Janvier 2021 (DM3)
13thptr/projets_site
Dépôt de sauvegarde des applications et autres pages interactives disponibles sur mon site
13thptr/pyodide
Python with the scientific stack, compiled to WebAssembly.
13thptr/remarkable_entware
Entware installer modified for reMarkable Tablet
13thptr/textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
13thptr/UWP-SDK
Neo smartpen SDK 2.0 for Universal Windows Platform