Agda is a dependently typed programming language
Headless UI for building powerful tables & datagrids for TS/JS
MCScanX: Multiple Collinearity Scan toolkit X version
EdgeChains.js is Full-Stack GenAI library
Weave various components and technologies into a Web App
C++ Faker library for generating fake (but realistic) data
A small, fast, pure JavaScript type-stripper
PostgreSQL replication with DDL changes
ROS 2 package of 3D lidar slam using ndt/gicp registration
A cross-platform (C99/C++11) process library
Extensible security first OAuth 2.0 and OpenID Connect SDK for Go
Ignite UI for jQuery by Infragistics
A library for writing an X11 tiling window manager
The open standard for data logging
Find, Filter, Preview, Pick. All lua, all the time
Rare and exotic sats
Superfluid protocol specification, implementations and development kit
Elixir Authentication
Clean Architecture Solution Template
Integrate GraphQL into your Django project
Universal command-line interface for SQL databases
Go minifiers for web formats
Database-free, self-hosted Bitcoin explorer, via RPC to Bitcoin Core
F# to JavaScript compiler
The internationalization (i18n) library for Angular