Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows, macOS and Haiku. With Stellarium, you really see what you can see …

Tutorial for LiquidHaskell

Libation: Liberate your Library

Patreon Downloader

Terminal UI OS (Terminal Multiplexer)

💫 Industrial-strength Natural Language Processing (NLP) in Python

A MorphMan fork rebuilt from the ground up with a focus on simplicity, performance, and a codebase with minimal technical debt.

Unofficial Ankiconnect for Android (i.e. for Yomichan)

视觉小说翻译器 / Visual Novel Translator

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

Remove Duplicate Cards is an addon of ANKI

Looks up selected (Japanese) text in your Yomichan dictionaries and displays the result as a popup.

🌸 A large catalog of Japanese subtitles. It also includes a backup mirror of kitsunekko.

☗ lishogi.org: the forever free, adless and open source shogi server forked from lichess.org ☗

A modern alternative to ls

💤 A utility tool powered by fzf for using git interactively.

Resumes generated using the GitHub informations

Lean 4 programming language and theorem prover

No Nonsense Neovim Client in Rust

NetCoreDbg is a managed code debugger with GDB/MI, VSCode DAP and CLI interfaces for CoreCLR.

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

Access to common file attributes (uid, gid, permissions, ctime, mtime, atime)

Develop cross-plattform GUI Applications using F# and Avalonia!

Pattern Matcher Compatible with Optima

An F# Excel spreadsheet generator

The place to make suggestions, discuss and vote on F# language and core library features

A massively parallel, optimal functional runtime in Rust

Bolero brings Blazor to F# developers with an easy to use Model-View-Update architecture, HTML combinators, hot reloaded templates, type-safe endpoints, advanced routing and remoting capabilities, …