Kleine Linksammlung
OCaml
- OCaml Website
- OCaml Changelog
- Watch OCaml
- OCamlverse
- Awesome OCaml
- Tchncs (Lemmy): c/ocaml
- Discuss OCaml
- Operator Lookup
- Hinweis #28: PostgreSQL-OCaml und die Result-Monade
- Hinweis #781 Die Syntax von Labels in OCaml
- Hinweis #1254 Binding Operators
Bücher :: OCaml
- OCaml Programming: Correct + Efficient + Beautiful
- Real World OCaml - Functional programming for the masses
- Unix system programming in OCaml [PDF]
- OCaml from the Very Beginning [PDF] [HTML]
Taschenrechner
- The Museum of HP Calculators
- HP Calculator Literature
- Reddit: r/calculators
- Reddit: r/hpcalc
- SwissMicros
- Free42
- Plus42
- Orpie (RPN-TUI-Rechner)
- Hinweis #30: Big Stack auf Free42
Werkzeug
- 0install (Dezentrales System zur Softwareinstallation)
- Abook (Adressbuch, integriert mit Mutt)
- Atop (interaktive Prozessliste und Systemmonitor)
- B·o·B (Sichererer, plattformübergreifender peer-to-peer Dateitransfer)
- Curl (Daten mit URLs übertragen)
- GNU Privacy Guard (Freie OpenPGP-Implementierung)
- GNU Screen (Terminal-Multiplexer)
- GNU Units (Einheiten umrechnen)
- LyX (Textverarbeitung)
- Mutt (MUA)
- Newsboat (RSS-/Atom-Feeds verwalten und lesen)
- Orpie (RPN-TUI-Rechner)
- Pass (Kennwort-Manager)
- Recutils (Textdatei-Datenbank)
- Remind (Kalender und Termine)
- Sc-im (Tabellenkalkulation)
- ShellGPT (Zugriff auf ChatGPT von der Kommandozeile)
- Sshuttle (Transparenter Proxy über SSH)
- Task Spooler (Queue für Kommandos)
- Taskwarrior (Aufgaben verwalten)
- Taskwarrior-TUI (TUI für Taskwarrior)
- Timewarrior (Zeitmessungen verwalten)
- Unison (Bidirektionale Dateisynchronisierung)
- Vifm (TUI-Dateimanager)
- Vim (Texteditor)
- Wyrd (TUI für Remind)
- Xfe (GUI-Dateimanager)
- Xfig (Vektor-Zeichenprogramm)
Webbrowser :: Werkzeug
- Firefox (GUI/GTK+)
- Lynx (TUI)
- Qutebrowser (GUI/Qt)
- W3m (TUI)
PostgreSQL
- PostgreSQL Website
- Modern SQL (Markus Winand)
- Use The Index, Luke! (Markus Winand)
- PGTune (Berechnet eine PostgreSQL-Konfiguration)
- Pgcopydb (Datenbanken kopieren)
- Pgloader (Lädt Daten in PostgreSQL)
- Pspg (Pager für PostgreSQL und andere tabellarische Textdaten)
- PostgREST (Erzeugt eine „RESTful API” für PostgreSQL-Datenbanken)
Multimedia
- Ncmpcpp (TUI-Client für MPD)
- MPD (Server zum Abspielen und Verwalten von Musikdateien)
- Music For Programming
Spiele
- OpenTTD (Eisenbahnlinien bauen)
- NetHack (Roguelike)
- The Battle for Wesnoth (TBS)
- FreeOrion (Space 4X)
- Rocks'n'Diamonds (Sokoban, Boulder Dash, Emerald Mine uvm.)
Android
- DroidVim (Vim für Android)
- Free42 (HP-42S Neuimplementierung)
- Ghost Commander (Dateimanager)
- GoldenDict (Wörterbuch)
- KISS Launcher (Android Launcher)
- Plus42 (Erweiterte HP-42S Neuimplementierung)
- RedReader (Reddit Client)
- Termux (Android Terminal-Emulator und Linuxumgebung)
HH
- Konsonantenboy's Photography Portfolio
- Tom Rossipaul Cinematographer
- Webentwicklung Krzysztof Jeziorny