-
typst Public
Forked from typst/typstA markup-based typesetting system that is powerful and easy to learn.
Rust Apache License 2.0 UpdatedJan 9, 2026 -
misode.github.io Public
Forked from misode/misode.github.ioTypeScript MIT License UpdatedOct 17, 2025 -
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
-
-
fish-shell Public
Forked from fish-shell/fish-shellThe user-friendly command line shell.
Rust Other UpdatedJul 29, 2025 -
diagram Public
Forked from pandoc-ext/diagramGenerate diagrams from embedded code; supports Mermaid, Dot/GraphViz, PlantUML, Asymptote, CeTZ, and TikZ.
Lua MIT License UpdatedJul 12, 2025 -
atom-one-dark-theme Public
Forked from jonathanchu/atom-one-dark-themeEmacs Lisp GNU General Public License v3.0 UpdatedJul 12, 2025 -
sod Public
Forked from ms-jpq/sadfilter and transform text within files interactively
Rust MIT License UpdatedMay 14, 2025 -
helix-ext Public archive
A fork of the Helix editor with various inactive and rejected patches applied. Archived -- I've now switched to Emacs.
-
cpsc411-book Public
Forked from cpsc411/cpsc411-bookThe WIP book for CPSC 411
Racket Other UpdatedFeb 12, 2025 -
-
aoc Public
Yearly Advent of Code work.
-
effekt Public
Forked from effekt-lang/effektA language with lexical effect handlers and lightweight effect polymorphism
Scala MIT License UpdatedDec 20, 2024 -
difftastic Public
Forked from Wilfred/difftastica structural diff that understands syntax 🟥🟩
Rust MIT License UpdatedDec 6, 2024 -
-
-
searxng Public
Forked from searxng/searxngSearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
Python GNU Affero General Public License v3.0 UpdatedOct 26, 2024 -
mechanicals Public
Various implementations of the lambda calculus and friends
-
mdn Public
Forked from mdn/contentThe content behind MDN Web Docs
Markdown Other UpdatedSep 17, 2024 -
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioCSS MIT License UpdatedSep 10, 2024 -
syntax-highlighting Public
Forked from KDE/syntax-highlightingKDE's syntax highlighting for Kate etc
HTML UpdatedAug 27, 2024 -
-
intension Public
Forked from fintelkai/fintel-heim-intensional-notesIntensional Semantics by Kai von Fintel and Irene Heim, with alternate notation
TeX UpdatedAug 11, 2024 -
config Public
Configuration files for various devices.
-
thunar-stl-thumbnails Public
Generate thumbnails for STLs with Tumbler.
-
-
caronte Public
Forked from eciavatta/caronteA tool to analyze the network flow during attack/defence Capture the Flag competitions
JavaScript GNU General Public License v3.0 UpdatedJul 19, 2024 -
types.pl Public
Forked from ralsei/types.plThe glitch-soc/Mastodon fork running on types.pl
Ruby GNU Affero General Public License v3.0 UpdatedJun 24, 2024 -
effects-bibliography Public
Forked from yallop/effects-bibliographyA collaborative bibliography of work related to the theory and practice of computational effects
UpdatedJun 11, 2024 -
{{ message }}