The Agda standard library
PowerGrid generates Advanced Datatables using Laravel Livewire
Library for the numerical simulation of closed as well as open quantum
Award winning software library for nonlinear dynamics timeseries
Create web-based user interfaces with Python
SEO Tools for Laravel
Provides an extension of the Spring programming model
A better compressed bitset in Java
A native Rust UI library with fine-grained reactivity
A library for building applications
Asynchronous parallel SSH client library.
Motivation-driven skill for learning from strong academic papers
Build reactive applications with the Rails tooling you already know
Skills shared by Baoyu for improving daily work efficiency with Claude
Cross-platform asynchronous I/O
Progressbar 2 - A progress bar for Python 2 and Python 3
Symbolic expressions, rewriting and simplification
HTMLPurifier for Laravel 5/6/7/8/9/10/11
Safely execute untrusted Javascript in your Javascript
Give Claude Code an external monitor
Library that automates the administration of your github projects
True object-oriented Java web framework without NULLs
Type-safe HTTP client for Android and Java by Square
Kotlin code completion, diagnostics and more for any editor/IDE
Text and code for the second edition of Think Bayes, by Allen Downey