Stars
🎨 Yet another theme for elegant writers with modern flat style and beautiful night/dark mode.
A curated list of free add-ons and scripts for Godot, but for fast computation and scientific methods!
A CLI toolset to generate table of contents for PDF files automatically.
Sioyek is a PDF viewer with a focus on textbooks and research papers
Module for Godot Engine 4.x adding support for Julia as a scripting language
Information theory and hypothesis testing, in Lean
An introduction to theorem proving in Lean for the impatient.
Research package for automatic differentiation of programs containing discrete randomness.
It's the eternal battle between day and night, good and bad. Written in JavaScript with some HTML & CSS in one index.html.
🎧 Open source music client! Available for both desktop & mobile!
🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...
A cd command that learns - easily navigate directories from the command line
Gromit-MPX is an on-screen annotation tool that works with any Unix desktop environment under X11 as well as Wayland.
The perfect sidekick to your scientific inquiries
Lean theorem proving interface which feels like pen-and-paper proofs.
RickDW / infinigen
Forked from princeton-vl/infinigenInfinite Photorealistic Worlds using Procedural Generation
LinkAce is a self-hosted archive to collect links of your favorite websites.
A private, p2p alternative to Slack and Discord built on Tor & IPFS
Printable (A4) overview of tactics in Lean 4 for beginners
An introduction to theorem proving in Lean for the impatient.
🥧 Fly-Pie is an innovative marking menu written as a GNOME Shell extension.