• the world wide web

  • interested in lisp, python, formal languages, category theory

  • Joined on 2022年08月16日
Filter
Sort
(fork of) Transactional package manager, declarative GNU/Linux distribution, reproducible deployment tool, and more!
Updated 2026年06月26日 16:34:16 +02:00
(fork of) The Guile Scheme implementation.
Updated 2026年02月16日 12:45:48 +01:00
Utility to use synctex with ox-latex
Updated 2025年12月27日 10:15:29 +01:00
pinoaffe's personal emacs configuration
Updated 2025年11月27日 18:36:32 +01:00
(fork of) Emacs interface to GNU Guix
Updated 2025年10月14日 13:12:07 +02:00
(fork of) Hoot is a Scheme to WebAssembly compiler and self-contained WebAssembly toolchain.
Updated 2025年09月26日 15:10:26 +02:00
Emacs Lisp implementation of RFC8288, parsing header links
Updated 2025年08月28日 15:40:16 +02:00
(mirror of) Export and import vCards from within GNU Emacs' Org mode.
Updated 2025年08月28日 10:12:02 +02:00
Purely functional interval search trees in guile
Updated 2025年08月19日 18:41:35 +02:00
A digital version of the dutch "Leuvense" bible from 1548, in OSIS XML format
Updated 2025年08月01日 10:46:51 +02:00
Command line / Guile utility to convert between various digital scripture file formats
Updated 2025年08月01日 10:41:59 +02:00
Emacs library to export Org files to GPX
Updated 2025年07月20日 16:20:19 +02:00
Updated 2025年06月16日 16:58:37 +02:00
Updated 2025年06月16日 13:45:14 +02:00
Manga downloader with support for multiple sites, incremental downloads and searching
Updated 2025年05月31日 09:47:37 +02:00