Ebook reader dictionaries extracted from Wiktionary in almost all languages, in Stardict, Tabfile and Kindle format

org-babel functions for fsharp evaluation

Asynchronous src_block execution for org-babel

F# Emacs mode

CommandShift allows you change input source (in MacOS) using Windows-style shortcuts

Mid-level client library for accessing PostgreSQL from Haskell

Real-time microphone noise suppression on Linux.

Linux kernel source tree

💥 Create key bindings that stick. WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you type.

[maintainer=@GaetanLepage, @willruggiano]

🔑 Second factor TOTP (RFC 6238) provider for Nextcloud

The easiest, most secure way to use WireGuard and 2FA.

Yet another Lisp variant which compiles to Lua

Imperfect Agda project template using Nix

An easy-to-use Mod Organizer 2 installer for Linux

💱 Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)

A GUI frontend for @werman's Pulse Audio real-time noise suppression plugin

Turtle CLI usage example (CircleCI & Travis CI)

Basics of the dependently-typed functional language Agda ^_^

Create React Native apps that run on iOS, Android, and web

Book: Introduction to Dependent Types with Idris

🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.

The documentation website Emacs deserves

OpenMW is an open-source open-world RPG game engine that supports playing Morrowind. Main repo and issue tracker can be found here: https://gitlab.com/OpenMW/openmw/

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

An fzf terminal UI for systemctl

A simple tetris clone written in zig programming language.