Lists (2)
Stars
A web-based collaborative LaTeX editor
A GitHub Pages compatible Table of Contents generator without a plugin or JavaScript
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
An engine for displaying slips, the next-gen version of slides
Customize your icons and colors directly from the Obsidian UI, including tabs, files & folders, bookmarks, tags, properties, and ribbon commands.
Site web des interENS ludiques 2021 - 2025, en ligne à l'adresse https://interludes.ens.fr
Puzzle solutions for advent of code 2022, 2023 and 2024
(Rust) Coloring terminal so simple you already know how to do it !
A powerful indexing & referencing system for theorems & equations in your Obsidian vault.
Browser extension that automatically fills out cookie popups based on your preferences
Context sensitive completion for OCaml in Vim and Emacs
Release snapshots of the Frama-C platform for source code analysis
A static analyzer for Java, C, C++, and Objective-C
Creusot helps you prove your code is correct in an automated fashion.
Obsidian plugin for seamless viewing of personal definitions
A presenter console with multi-monitor support for PDF files.
Database diagrams editor that allows you to visualize and design your DB with a single query.
Pretty-print tabular data in Python, a library and a command-line utility. Repository migrated from bitbucket.org/astanin/python-tabulate.