The C++14 wrapper around sqlite library

Sqids specification for encoding multiple numbers into a single ID

All Algorithms implemented in Rust

🤘 The biggest collection of themes for Terminator terminal.

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

System restore tool for Linux. Creates filesystem snapshots using rsync+hardlinks, or BTRFS snapshots. Supports scheduled snapshots, multiple backup levels, and exclude filters. Snapshots can be re…

Resizable Flex layout container components for advanced React web applications

A React components library with Win95 UI

manjaro linux with wayland 🖼, sway 🌴 and a lot of ♥

📊 Flask API for SVG progress badges

the only cheat sheet you need

Haskell hugs in a docker container

i3-compatible Wayland compositor

JSON for Modern C++

Gogh is a collection of color schemes for various terminal emulators, including Gnome Terminal, Pantheon Terminal, Tilix, and XFCE4 Terminal also compatible with iTerm on macOS.

Soothing color scheme for your favorite [best] text editor

🇦🇶 Bluish color scheme for Vim and Neovim

Support for computations which consume values from a (possibly infinite) supply.

Haskeline wrapper for GHCi-like REPL interfaces

Implementation of the Elm Architecture in Purescript

Elm offline documentation previewer

Build type-safe composable forms in Elm

A cat(1) clone with wings.

Turn audio into a shareable video.

List monad transformer

A library for composable and effectful production, transformation and consumption of streams of data in Idris

primitive flat arrays containing Idris values

A Idris Mode for Atom.io

Customize doxygen output to use the twitter bootstrap framework.