Less redundancy in type declarations and signatures
Repository Index
47,133 repositories indexed
7,441–7,464 of 10,100 · Most stars
A web component to display Pokémon.
Generate nix expressions from opam packages
A common lisp library to unify access to common dictionary-like data-structures
📌📋 A helper class for updating a single-file Gist
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Powerful macro (cross) assembler package for several CPUs
Examples of Tensorflow Lite on Android
- tensorflow
- tensorflow-lite
- kotlin-android
- android
🎶 Music lovers, rejoice.
Toolbox for the analysis of smFISH images.
- pattern-classification
- rna-localization
- segmentation
- smfish
WebExtension module: Automatically registers your content_scripts on domains added via permission.request
- webext
ColdFusion payment processing library makes plumbing e-commerce apps easy. Charging credit cards has never been easier. Inspired by Ruby's ActiveMerchant.
- cfml
- coldfusion
A flexible Sass mixin for creating BEM-style buttons.
boto3 code assistance for any API in any IDE, always up to date
- boto3
- codecompletion
The NuGet package that provides post published processing to deploy the ASP.NET Core SPA project (such as Blazor WebAssembly) as a GitHub pages site.
- blazor
- blazor-webassembly
- github-pages
Universal hot-load addon for Ember applications. Support classic/pods/mu layouts and route templates reloading.
- hot-reload
- hot-module-replacement
- addon
- ember-cli
Generate Nix expressions to build PHP composer packages
Generate ✏ PDF document 📑 with iTextSharp from a Blazor Server App
- blazor
- blazor-server
- itextsharp
Effects of packers on machine-learning-based malware classifiers that use only static analysis
Microservice to enable GitHub login for multiple server-less applications.
Internationalization tools, particularly message translation.
- aura
- intl
- php
- internationalization
Unofficial GroupMe App
A ruby job scheduler which runs jobs each in their own thread in a persistent process.
Svelte preprocessor for sass