lucasvreis

termux-app

Termux - a terminal emulator application for Android OS extendible by variety of packages.

typst

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

river

[mirror] A dynamic tiling Wayland compositor

niri

A scrollable-tiling Wayland compositor.

ags

A customizable and extensible shell

polylux

A package for creating slides in Typst

element-x-android

Android Matrix messenger application using the Matrix Rust Sdk and Jetpack Compose

wreq

texmath

A Haskell library for converting LaTeX math to MathML.

co-log

📓 Flexible and configurable modern #Haskell logging framework

diffengine

track changes to the news, where news is anything with an RSS feed

notable

An alternative note-taking app designed specifically for BOOX e-ink devices

hatsu

🩵 Self-hosted & Fully-automated ActivityPub Bridge for Static Sites.

barbies

linear-builder

Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

tree-diff

Diffing of (expression) trees.

LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

full-text-search

An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.

typst-hs

Haskell library for parsing and evaluating typst

collab-mode

Cross-editor collaboration (WIP)

kkp

Emacs support for the Kitty Keyboard Protocol

parsec-free

Megaparsec.lean

Lean 4 port of Megaparsec

consult-reftex

compositionality-latex-template

The Compositionality article class.

csln

Reimagining CSL

DateTime

DateTime package for Lean 4

csl-next

An experimental reimagining of CSL

easi

Emacs Advanced Searching Interface

SemanTeX