Repository Index

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

Renderer for the Ricardian Contract specification

Kibana 7 Templates for Suricata IDPS Threat Hunting

MCP server for spatial transcriptomics analysis through natural language interfaces.

• bioinformatics
• cell-communication
• deconvolution
• machine-learning

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding. Enterprise version is at seaweedfs.com.

Overhead allocators, allocator-aware containers and lifetime management for D objects

Path-based dispatching for client- and server-side applications.

• web

A Plotly Dash application showing earthquake data from the USGS website

• plotly
• dashboard
• dash
• usgs

An Eclipse Vert.x verticle to boot an application from HOCON configuration.

• vertx
• hocon
• reactive
• microservice

Raspberry Pi (and Linux) simple remote monitoring tool with dashboard for multiple RPi devices. It works for any Linux device.

• dashboard
• monitoring
• monitoring-scripts
• monitoring-tool

An easy utility for responding with standard HTTP/JSON error payloads in Plug- and Phoenix-based applications

Prime numbers for Coq

• coq
• theorem-proving
• elliptic-curves
• prime-numbers

Enable finding all documents that have been published by a given publication

:crystal_ball: Simple application watcher

Want to crack passwords faster by using a wordlist that fits your 'target audience'? Use WikiRaider.

• wordlist
• wikipedia
• dictionary
• attack

A simple PHP sample application for running on AWS OpsWorks

Lightweight framework for signals in GameMaker Studio 2.3+

• signals
• gamemaker-studio-2
• framework
• gamemaker

Interactive and customizable scroll bar with deceleration and appearing info label during scrolling for Scroll View

• ios
• scroll
• scroll-bar
• scrollbar

Example application using Bugfender SDK in Android

Lightweight driver for Microchip's Crypto Authentication secure elements written in pure python for micropython

• atecc508a
• pyboard
• micropython
• atecc

Advanced Phishing Protection: Suricata rulesets open and free

• anti-phishing
• antiphishing
• openphish
• phishing

A Dockerfile generator for running OpenGL (GLX) applications with nvidia-docker2, CUDA, ROS, and Gazebo on a remote headless server system by using VirtualGL&VNC and Lubuntu Desktop

Native WebAuthn/Passkey support for Electron on macOS using Apple's AuthenticationServices framework

• authenticationservices
• electron
• electron-builder
• fido2

**DEPRECATED**. Use the native and support library variants instead - https://developer.android.com/guide/topics/ui/look-and-feel/fonts-in-xml.html. An android library that makes it easy to add custom fonts to edittexts and textviews