Documentation about Haskell's dangerous functions and a hlint config file to warn about them

🍲 Carl Weathers #1 Neovim Plugin.

A syntax-highlighting pager for git, diff, grep, and blame output

USB WiFi Adapter Information for Linux

Password protect a static HTML page, decrypted in-browser in JS with no dependency. No server logic needed.

(GPU accelerated) Multi-arch (linux/amd64, linux/arm64/v8) Data Science dev containers for R, Python, Julia and Mojo

Files associated with the course Interactive Theorem Proving at LMU SoSe 2024

Simple and flexible tool for managing secrets

An ecosystem of tools to build robust applications in TypeScript

Haskell bindings to wlroots (and libwayland)

Datadog cli tool to sync resources across organizations.

The Standard ML compiler that produces Lua/JavaScript

Extremely modular text editor built in Haskell

Lightweight yet powerful formatter plugin for Neovim

Powerful scripting language & versatile interactive shell

TimesFM (Time Series Foundation Model) is a pretrained time-series foundation model developed by Google Research for time-series forecasting.

NixOS-like services for Nix flakes

Nix shells for PHP development

A WeeChat script that adds vi-like modes, commands and keybindings.

Fast, Declarative, Reproducible, and Composable Developer Environments

A command line tool that draw plots on the terminal.

Learning eBPF, published by O'Reilly - out now! Here's where you'll find a VM config for the examples, and more

🌸 A command-line fuzzy finder

Firefox Reader View as a command line tool

Updating nixpkgs packages since 2018

Easily train AlphaZero-like agents on any environment you want!

A Production-ready Reinforcement Learning AI Agent Library brought by the Applied Reinforcement Learning team at Meta.

Webots Robot Simulator

Efficiently create Anki flashcards from your notes.