b3nj5m1n

cryptpad

Collaborative office suite, end-to-end encrypted and open-source.

lean.nvim

neovim support for the Lean theorem prover

lean4

Lean 4 programming language and theorem prover

rio

A hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.

gccrs

GCC Front-End for Rust

pest

The Elegant Parser

the-power-of-prolog

Introduction to modern Prolog

ollama

Get up and running with Llama 3, Mistral, Gemma, and other large language models.

nougat.nvim

🍫 Hyperextensible Statusline / Tabline / Winbar for Neovim 🚀

annotate-equations

LaTeX package and annotated examples for annotating equations using TikZ.

autocomplete

IDE-style autocomplete for your existing terminal & shell

inshellisense

IDE style command line auto complete

Pathfinding

Pathfinding on a real map anywhere in the world

bismuth

KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.

logseq-pdf-export

fsrs4anki

A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm

fsrs-rs

FSRS for Rust, including Optimizer and Scheduler

Vencord

The cutest Discord client mod

icu

The home of the ICU project source code.

earthly

Super simple build framework with fast, repeatable builds and an instantly familiar syntax – like Dockerfile and Makefile had a baby.

OCRmyPDF

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

enigma-bbs

ENiGMA½ BBS Software

ltex-ls

LTeX Language Server: LSP language server for LanguageTool :mag::heavy_check_mark: with support for LaTeX :mortar_board:, Markdown :pencil:, and others

byrne-euclid

MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

marian

Fast Neural Machine Translation in C++

alternative-front-ends

Overview of alternative open source front-ends for popular internet platforms (e.g. YouTube, Twitter, etc.)

cli

🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.

ChatGPT-AutoExpert

🚀🧠💬 Supercharged Custom Instructions for ChatGPT (non-coding) and ChatGPT Advanced Data Analysis (coding).

rage

A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

age

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.