Repository Index

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

• coq
• theorems

Avabranch

Templates for ASP.NET Core Blazor without any js and css libraries.

:snowboarder: A responsive slider jQuery plugin with CSS animations

• css-animations
• jquery-plugin
• jquery
• slide

Full configurable spreadsheet view user interfaces for iOS applications. With this framework, you can easily create complex layouts like schedule, gantt chart or timetable as if you are using Excel.

A blazing fast JSON Schema v4 validator!

Drupal Honeypot

Clone of Flappy Bird game in JavaScript and Canvas 2D

Minerva Story is an image viewer that is designed specifically to make it easy for non-expert users to interact with complex tissue images.

• minerva
• microscopy
• ome
• immunofluorescence

A curated dataset of malware and benign Windows executable samples for malware researchers

• machine-learning
• deep-learning
• malware-research
• malware-detection

PureMVC MultiCore Framework for ActionScript 3

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

Generic Fritzbox node for node-RED, giving access to tr064 api

Node-RED Agent for the Siemens Insights Hub MindConnect API

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

Integrates PhpMetrics in Symfony2 debug toolbar

Svelte wrapper for Leaflet

• svelte
• sapper
• leaflet
• maps

A quick lightning talk on using arrow and dplyr together

Curated list of Cyber Security acronyms & abbreviations

A social media assistant.

Check yopmail mails from command line.

• email
• email-disposable-checker
• yopmail

A HomeMatic CCU Addon for sending Emails

• homematic
• ccu
• email
• addon

Repository of tools, info, links and discussion for a long-term solution of J2ME emulation

• j2me
• midp
• cldc