erikmd

txl.el

Emacs extension providing direct access to DeepL's machine translation API.

biblatex-ext

Extensions for the biblatex standard styles

starter-workflows

Accelerating new GitHub Actions workflows

termux-app

Termux - a terminal emulator application for Android OS extendible by variety of packages.

FPBench

A standard for floating point accuracy benchmarks

webhook

webhook is a lightweight incoming webhook server to run shell commands

cloe_run

docker-autossh

AutoSSH tunnels

cmdliner-cheatsheet

Cheatsheet for adding command-line options to an OCaml program using cmdliner

awesome-macOS

 A curated list of awesome applications, softwares, tools and shiny things for macOS.

awesome-mac

 Now we have become very big, Different from the original idea. Collect premium software in various categories.

Strongbox

A KeePass/Password Safe Client for iOS and OS X

ohmyzsh

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

zsh

Mirror of the Z shell source code repository.

syncthing

Open Source Continuous File Synchronization

syncthing

Open Source Continuous File Synchronization

Coq_verbose

Some tactics to write more readable proofs in Coq

cli

CLI for building, running, testing, and managing your Emacs Lisp dependencies

awesome-chatgpt

🤖 Awesome list for ChatGPT — an artificial intelligence chatbot developed by OpenAI

emacs-dashboard

An extensible emacs dashboard

a11y-guidelines

Our vision of mobile & web accessibility guidelines and best practices, with valid/invalid examples

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Csdp

This is the working repository for the CSDP project. CSDP is a solver for semidefinite programming problems. It is a COIN-OR project.

FairEmail

Fully featured, open source, privacy friendly email app for Android

thunderbird-android

K-9 Mail – Open Source Email App for Android

rsync

An open source utility that provides fast incremental file transfer. It also has useful features for backup and restore operations among many other use cases.

ocaml-interval

An interval library for OCaml

ocaml-crlibm

Binding to CRlibm

photopea

Photopea is online image editor

99

Famous 99 problems in OCaml