Typst package for creating scientific posters

Extend Gnome Shell with advanced tiling window management. Supports multiple monitors, Windows 11 Snap Assistant, Fancy Zones, customised tiling layouts and more.

An implementation of numbered theorem environments in typst

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

Lightning-fast and Powerful Code Editor written in Rust

n³ The unorthodox terminal file manager

Cross-platform Rust rewrite of the GNU coreutils

The Libertinus font family

More powerful and customizable tables in Typst

[DEPRECATED] Use tinymist instead

A package for creating slides in Typst

A minimal webapp for converting Google Docs to Markdown

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

The ultimate in-game world editing tool for Minetest! Tons of functionality to help with building, fixing, and more.

A REPL-friendly Clojure tool for notebooks and datavis

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively

The math library of Lean 4

Intel One Mono font repository

The GAP package Digraphs

Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation

the Amidst project converted to support Minetest (aka Amidstest)

A minimalistic opinionated Mastodon web client

A desktop viewer for clerk.

Tangle - the Clojure library that visualizes your tangle of data with Graphviz.

https://openjdk.org/projects/riscv-port

Reasoned Schemer in core.logic

Efficient, functional algorithms for generating lazy sequences for common combinatorial functions

Another theme

binary releases of VS Code without MS branding/telemetry/licensing

A fast GUI for Homebrew written in SwiftUI