Mobile Git client for syncing a repository between remote and a local directory

A pass extension for managing one-time-password (OTP) tokens

A git credential helper interfacing with pass, the standard unix password manager.

🌺 Minimalist Vim Plugin Manager

Simple configuration and extra tools for NVIM + LSP + Idris2

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Real-time pair programming and collaborative editing for Neovim, inspired by VS Code Live Share.

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

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

Touying is a powerful package for creating presentation slides in Typst.

A topographic map from OpenStreetMap and SRTM data

Tools for converting RST files to MyST-NB files

Write tables as list of cells and rows.

Pandoc filter for adding LaTeX environement on specific div

Unofficial Music On Console Player Repo (SVN-Mirror & Patch development releases)

LADSPA plugin - Attenuates digital clipping

Don't Fear the Profunctor Optics!

A visual catalogue + story of morphisms displayed across computational structures.

An Idris port of the Haskell Hedghog library

Utilities and documentation for exploring idirs2's new elaborator reflection.

😱 Falsehoods Programmers Believe in

Lua backend for Idris 2

Vim mode for Idris 2

A purely functional programming language with first class types

Prism-based parsers and pretty printers

Reversible parsing and pretty-printing.

An example sbt project that compiles using Dotty

Library to support automatic labeling of ScalaCheck properties.