Find relevant emoji from text on the command-line 😮 ✨ 🙌 🐴 💥 🙈

The open source coding agent.

Generate a cryptographically strong random string

Lightweight coding agent that runs in your terminal

A CLI tool to switch and manage Codex accounts

Nix Packages collection & NixOS

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

An efficient and fully parallelized pure python DFT and electronic structure code with GPU acceleration

Evolution Strategies in JAX 🦎

Perfect Green Screen Keys

Mathematical Programming in JAX

SciPy library main repository

ANSI escape codes for styling strings in the terminal

Noise reduction in python using spectral gating (speech, bioacoustics, audio, time-domain signals)

Detect whether a terminal supports hyperlinks

Get all email addresses in a string

Detect which terminal graphics protocols are supported (Kitty, iTerm2, Sixel)

Display images in the terminal

Send escape sequences to the terminal and read back responses

list of TLDs

Public releases of the Clinamen2 optimization framework

Code for Deep-Simplex Multichannel Speech Separation

CodeRunner: A moodle quiz question type that runs student-submitted program code in a sandbox to check if it satisfies a given set of tests.