splintersuidman

splintersuidman's Stars

• varkor/tangle

  A modern string diagram editor for the web.

  Language:JavaScript19

• mmasque/Sheaves-in-Topology-lecture-notes

  Lecture notes for the course Sheaves in Topology, taught by Remy van Dobben de Bruin at Utrecht University in the spring of 2024. Typing by Ben Mason, Marcel Masque and Splinter Suidman.

  Language:TeX11

• edwardtufte/et-book

  A webfont of the typeface used in Edward Tufte’s books.

  Language:HTML1.2k100

• DenSinH/unimath-small-obj-arg

  A UniMath formalization of Richard Garner's refinement of Quillen's small object argument

  Language:Coq1

• sahasatvik/typst-theorems

  An implementation of numbered theorem environments in typst

  Language:Typst19510

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust32.7k877

• hersle/rmirro

  A script that synchronizes PDFs of documents between a Remarkable and a computer folder that mirrors its file structure without cloud access

  Language:Python797

• bordaigorl/rmview

  A live viewer for reMarkable written in PyQt5

  Language:Python75261

• adebray/equivariant_homotopy_theory

  Notes from Andrew Blumberg's class on equivariant homotopy theory

  Language:TeX1610

• oantolin/math-delimiters

  Insert math delimiters in TeX, LaTeX and Org buffers

  Language:Emacs Lisp375

• org-roam/org-roam-ui

  A graphical frontend for exploring your org-roam Zettelkasten

  Language:TypeScript1.9k107

• org-roam/org-roam

  Rudimentary Roam replica with Org-mode

  Language:Emacs Lisp5.4k477

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k359

• TeamNewPipe/NewPipe

  A libre lightweight streaming front-end for Android.

  Language:Java31k3k

• syberant/nixos-druid

  WIP GUI for NixOS documentation + configuration

  Language:Rust7

• martinescardo/HoTTEST-Summer-School

  HoTTEST Summer School materials

  Language:TeX28368

• altdesktop/playerctl

  🎧 mpris media player command-line controller for vlc, mpv, RhythmBox, web browsers, cmus, mpd, spotify and others.

  Language:C2.4k79

• the1lab/1lab

  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

  Language:Agda33363

• protesilaos/modus-themes

  Highly accessible themes for GNU Emacs, conforming with the highest standard for colour contrast between background and foreground values (WCAG AAA).

  Language:Emacs Lisp54530

• noctuid/general.el

  More convenient key definitions in emacs

  Language:Emacs Lisp98643

• varkor/quiver

  A modern commutative diagram editor for the web.

  Language:JavaScript2.4k79

• oantolin/orderless

  Emacs completion style that matches multiple regexps in any order

  Language:Emacs Lisp74527

• minad/corfu

  :desert_island: corfu.el - COmpletion in Region FUnction

  Language:Emacs Lisp1.1k43

• minad/vertico

  :dizzy: vertico.el - VERTical Interactive COmpletion

  Language:Emacs Lisp1.4k58

• direnv/direnv

  unclutter your .profile

  Language:Go12.3k629

• syberant/nix-config

  My personal NixOS configuration.

  Language:Nix41

• metabrainz/listenbrainz-server

  Server for the ListenBrainz project, including the front-end (javascript/react) code that it serves and all of the data processing components that LB uses.

  Language:Python672209

• MusicPlayerDaemon/mpdscribble

  a MPD client which submits information about tracks being played to a scrobbler (e.g. last.fm)

  Language:C++11615

• minad/marginalia

  :scroll: marginalia.el - Marginalia in the minibuffer

  Language:Emacs Lisp75828

• minad/consult

  :mag: consult.el - Consulting completing-read

  Language:Emacs Lisp1.2k102