The cross-shell prompt for astronauts.

Compatibility First

Works on the most common shells on the most common operating systems. Use it everywhere!

Rust-Powered

Brings the best-in-class speed and safety of Rust, to make your prompt as quick and reliable as possible.

Customizable

Every little detail is customizable to your liking, to make this prompt as minimal or feature-rich as you'd like it to be.

Compatibility First

Works on the most common shells on the most common operating systems. Use it everywhere!

Rust-Powered

Brings the best-in-class speed and safety of Rust, to make your prompt as quick and reliable as possible.

Customizable

Every little detail is customizable to your liking, to make this prompt as minimal or feature-rich as you'd like it to be.

Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.

A Data Package consists of:

• Metadata that describes the structure and contents of the package
• Resources such as data files that form the contents of the package
• The Data Package metadata is stored in a "descriptor". This descriptor is what makes a collection of data a Data Package. The structure of this descriptor is the main content of the specification below.

In addition to this descriptor a data package will include other resources such as data files. The Data Package specification does NOT impose any requirements on their form or structure and can therefore be used for packaging any kind of data.

The data included in the package may be provided as:

• Files bundled locally with the package descriptor
• Remote resources, referenced by URL
• "Inline" data (see below) which is included directly in the descriptor

pngquant is a command-line utility and a library for lossy compression of PNG images.

The conversion reduces file sizes significantly (often as much as 70%) and preserves full alpha transparency. Generated images are compatible with all web browsers and operating systems.

Writer2LaTeX is a utility that converts documents in OpenDocument format - in particular documents containing formulas - into other formats. It is actually a collection of four converters:

• Writer2LaTeX: converts documents into LaTeX 2e format for high quality typesetting.
• Writer2xhtml: converts documents into XHTML 1.0, XHTML 1.1, XHTML 1.1+MathML 2.0 or HTML5 with CSS2. This provides standards-compliant XHTML and brings your math to the web.
• Writer2BibTeX: is a companion to Writer2LaTeX that extracts bibliographic data from a document and stores it in BibTeX format.
• Calc2xhtml: is a companion to Writer2xhtml that converts spreadsheet documents to XHTML 1.0 or XHTML 1.1 with CSS2 to display your spreadsheets on the web.

At the heart of decentralized systems today is a demoralizing irony. Vast resources---intellect, equipment, and energy---go into avoiding centralized control and creating "trustless" systems like Bitcoin. But hapless users then defeat the whole purpose of these systems by handing over their private keys to centralized entities like Coinbase.

Would it be nice if there were a truly decentralized system that could do the impossible? I.e.,

• Make key management easier for ordinary users.
• Manage secret keys for transparent objects without secret state, like smart contracts.
• Operate seamlessly when nodes come and go.

CryFS encrypts your Dropbox and protects you against hackers and data leaks. It also works well together with other cloud providers.

General information on the PrivateBin project.

Abricotine is an open-source markdown editor built for desktop.

Creates GPG encrypted, compressed backups; client-side encryption allows to upload the backup onto untrusted servers.

Rogue-like game derived from nethack offering extra features, monsters, and items; includes a GUI version.

Fast and powerful open source alternative to grep; it targets flexibility and performance: can be as fast as "regular" grep and allows to specify complex expressions to find text.

Greps regular expressions in a text file(s) and prints out the paragraphs containing those expressions; a paragraph is defined as a block of text delimited by an empty or blank line; fully customizable via command line parameters.

A tool like grep optimized for programmers; written in Perl, it speeds up searches thanks to skipping non interesting directories, such as .git.

A program that tries to improve FIGlet; can load FIGlet fonts; supports Unicode input and output, colour fonts and output, and various output formats, including HTML, IRC and ANSI; uses libcaca to produce nice textual effects.

Not exactly a font manager, but a nice program for making large letters out of ordinary text; an astonishing number of different fonts is available.

From the website: "WordGrinder is a word processor for processing words. It is not WYSIWYG. It is not point and click. It is not a desktop publisher. It is not a text editor. It does not do fonts and it barely does styles. What it does do is words. It's designed for writing text. It gets out of your way and lets you type."

Historically one of the preferred text editors; behavior based on editing modes; plenty of plugins and tips to address every possible editing problem.