agda-snippets

A free and open-source package manager designed for the Microsoft development platform. It is also distributed as a Visual Studio extension.

It is a package manager for the Ruby programming language that provides a standard format for distributing Ruby programs and libraries, a tool designed to easily manage the installation of gems, and a server for distributing them.

Bower is a package manager for the web. It offers a generic, unopinionated solution to the problem of front-end package management, while exposing the package dependency model via an API that can be consumed by a more opinionated build stack. There are no system wide dependencies, no dependencies are shared between different apps, and the dependency tree is flat.

With Terraform, you describe your complete infrastructure as code, even as it spans multiple service providers. Your servers may come from AWS, your DNS may come from CloudFlare, and your database may come from Heroku. Terraform will build all these resources across all these providers in parallel.

A Meteor application is a mix of JavaScript that runs inside a client web browser, JavaScript that runs on the Meteor server inside a Node.js container, and all the supporting HTML fragments, CSS rules, and static assets.

It is a tool for dependency management in PHP. It allows you to declare the libraries your project depends on and it will manage (install/update) them for you.

Native-ESM powered web dev build tool.

Writing HTML apps is super easy with elm-lang/html. Not only does it render extremely fast, it also quietly guides you towards well-architected code.

Julia is a high-level, high-performance dynamic programming language for technical computing, with syntax that is familiar to users of other technical computing environments. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library.

The Real First Universal Charset Detector. Open, modern and actively maintained alternative to Chardet.

ESLint configuration used by Next.js.

It makes package management reliable and reproducible. It provides atomic upgrades and rollbacks, side-by-side installation of multiple versions of a package, multi-user package management and easy setup of build environments.

The PHP Unit Testing framework.

Homebrew installs the stuff you need that Apple didn’t. Homebrew installs packages to their own directory and then symlinks their files into /usr/local.

The official Python library for the openai API.

It uses hard links and symlinks to save one version of a module only ever once on a disk. When using npm or Yarn for example, if you have 100 projects using the same version of lodash, you will have 100 copies of lodash on disk. With pnpm, lodash will be saved in a single place on the disk and a hard link will put it into the node_modules where it should be installed.

Visit flutter.io to get started.

Guzzle is a PHP HTTP client library.

Default icons asset for Cupertino widgets based on Apple styled icons.

Mockery is a simple yet flexible PHP mock object framework.

A Tailwind CSS plugin for automatically styling plain HTML content with beautiful typographic defaults.

The Vercel AI SDK is **a library for building AI-powered streaming text and chat UIs**.

The Laravel Framework.

Building applications with LLMs through composability.

Prisma Client is an auto-generated, type-safe and modern JavaScript/TypeScript ORM for Node.js that's tailored to your data. Supports PostgreSQL, CockroachDB, MySQL, MariaDB, SQL Server, SQLite & MongoDB databases.

Prisma is an open-source database toolkit. It includes a JavaScript/TypeScript ORM for Node.js, migrations and a modern GUI to view and edit the data in your database. You can use Prisma in new projects or add it to an existing one.

Remark plugin to support GFM (autolink literals, footnotes, strikethrough, tables, tasklists).

Powerful REPL for the Laravel framework.

Cli error handling for console/command-line PHP applications.

A lil' TOML parser.

PHP_CodeSniffer tokenizes PHP, JavaScript and CSS files and detects violations of a defined set of coding standards.

A fully-featured caching GraphQL client.

The official TypeScript library for the OpenAI API.

Authentication for Next.js.

Brain-dead simple config-ini parsing.

A composable, multi-platform, Future-based API for HTTP requests.

Gain real-time traffic insights with Vercel Web Analytics.

Develop, test, run, and bundle JavaScript & TypeScript projects—all with Bun. Bun is an all-in-one JavaScript runtime & toolkit designed for speed, complete with a bundler, test runner, and Node.js-compatible package manager.

Backport of PEP 654 (exception groups).

It is a package manager for the SystemJS universal module loader, built on top of the dynamic ES6 module loader. You can load npm packages in modern browsers with the native browser ES module loader.

The most popular front-end framework for developing responsive, mobile first projects on the web.

TypeScript Execute (tsx): Node.js enhanced with esbuild to run TypeScript & ESM files.

Simple reusable React error boundary component.

Contains code to deal with internationalized/localized messages, date and number formatting and parsing, bi-directional text, and other internationalization issues.

Client library to download and publish models, datasets and other repos on the huggingface.co hub.

Bower package for AngularJS.

A tool to automatically fix PHP code style.

SDK for UI automation and text capture featured in UiPath Studio.