gitea: Gitea Service

luis/ mcp-servers

Nix 0 0

Updated 2026-05-28 20:40:27 +02:00

hermes-agent/ lean-pl-tutorials

Org 0 0

Lean 4 tutorials for programming language semantics

Updated 2026-05-28 20:15:43 +02:00

luis/ my-pkgs

Python 0 0

Updated 2026-04-14 10:41:52 +02:00

luis/ jailed-agents

Nix 0 0

Updated 2026-03-06 15:30:29 +01:00

ignacio.ballesteros/ org-garden

Elixir 0 0

Updated 2026-02-23 16:28:52 +01:00

ignacio.ballesteros/ quartz-org-roam

TypeScript 0 0

🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites [Fork] Adapting built-in tool to org-roam style + additional tweaks: - Zotero integration for citations - Nextcloud for references files

Updated 2026-02-21 13:10:50 +01:00

github/ quartz

TypeScript 0 1

🌱 a fast, batteries-included static-site generator that transforms Markdown content into fully functional websites

digital-garden networked-thought obsidian obsidian-md quartz-ssg static-site-generator

Updated 2026-02-18 12:26:05 +01:00

luis/ org-roam-project

Emacs Lisp 0 0

Updated 2026-02-18 11:35:33 +01:00

luis/ ob-elixir

Emacs Lisp 0 0

Updated 2026-02-18 11:07:13 +01:00