Repository Index

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

• coq
• theorems

nonblocking pojo mapping for document and sql databases

Home of Repeatable Software Development Process

• business
• business-process
• management
• methodology

Fast implementation of queue in OCaml

• queue
• ocaml
• gadt

Node-RED Agent for the Siemens Insights Hub MindConnect API

• mindconnect
• nodejs
• node-red
• node-red-contrib

Godot template repository for my programs

• game-development
• godot
• template

Countdown allows you to quickly & easilty create a webpage that counts down to your upcoming event

PHPStorm Magento 2 File Templates

Predicting Cell Health with Morphological Profiles

• carpenter-lab
• morphological-profiling
• crispr
• cell-painting

:hammer: A website for the BLDS Data Specification

• open-data
• opendata
• standards
• pemits

BlazorOcticons is an easy-to-use GitHub Octicons built as customizable .razor components

• blazor
• razor
• octicons
• dotnet

Tagify produces a set of tags from a given source. Source can be either an HTML page, a Markdown document or a plain text. Supports English, Russian, Chinese, Hindi, Spanish, Arabic, Japanese, German, Hebrew, French and Korean languages.

• tagify
• keywords
• keyword-extraction
• html

Client-side AES-256-GCM zero-knowledge encryption library. Browser-native Web Crypto API, no dependencies. Powers FileShot.io.

• aes-256
• aes-256-gcm
• browser-encryption
• client-side-encryption

Surround an "input type=file" element by this Blazor component to making a zone that accepts drag and drops files.

• blazor
• drop
• dragdrop
• dropfile

Native Magento Page Builder support for CMS Widgets

• mage-os
• magento
• magento2
• admin

A implementation of Shor's algorithm written in Python calling Q# for the quantum part

• qsharp
• python3

A jQuery plugin to create draggable content splitters to emulate frames and separate content.

🗃 A schema for mutation testing results with the web components to visualise it 📊

• hacktoberfest
• mutation-testing
• testing

Collection of Visual Studio Code snippets for common code patterns in the ArcGIS Maps SDK for JavaScript.

• arcgis-js-api
• javascript
• typescript
• arcgis

The Swagger Coverage Tool is designed to measure API test coverage based on Swagger documentation. It provides automated tracking and reporting of test coverage for APIs, helping ensure that your endpoints and services are well-tested.

• coverage
• coverage-report
• coverage-testing
• httpx

The repository host gives no description.

A generic, concurrent-safe, and easy-to-use finite state machine (FSM) library for Go.

A JavaScript bilingual text realizer for web development

Tado web API client node for Node Red