idris2

Extra Credit builds an outline of idris2's docs the first time your work uses it. Until then, start at the official documentation.

• smlnj Compiler and programming system for Standard ML
• tsduck MPEG Transport Stream Toolkit
• openfga High performance and flexible authorization/permission engine
• pngcheck Print info and check PNG, JNG, and MNG files
• far2l-tty Unix TTY port of FAR Manager v2 (with NetRocks support)
• kubefwd Bulk port forwarding Kubernetes services for local development
• par2 Parchive: Parity Archive Volume Set for data recovery
• faust Functional programming language for real time signal processing
• intelli-shell Like IntelliSense, but for shells
• nativefiledialog-extended Native file dialog library with C and C++ bindings
• flarectl CLI application for interacting with a Cloudflare account
• python-build Simple, correct PEP 517 build frontend