Repository Index

A command-line validation tool for AWS Cloud Formation that allows to conquer the cloud faster!

• golang
• go
• template
• cloudformation

:camera: GoPro Hero 4 - Python API

A discord bot for reverse engineers and exploit developers.

MDNS implementation for MicroPython with Service Discovery

The repository host gives no description.

Docs related to DDD-CQRS-ES Discord Community

• community
• cqrs
• ddd
• event-sourcing

A microservice (sidecar) that helps instantly determine the status of your PostgreSQL hosts including whether they are alive, which one is the master, which ones are replicas, and how far each replica is lagging behind the master.

• c
• master-replica
• pg
• postgresql

Web application to manage CSA (Community Supported Agriculture), ACP (Agriculture Contractuelle de Proximité) or Solawi (Solidarische Landwirtschaft) organizations.

• acp
• csa
• rails
• ruby

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs

This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)

• ada
• gnat
• cortex
• rts

NeoDTI: Neural integration of neighbor information from a heterogeneous network for discovering new drug-target interactions

• computational-biology
• bioinformatics
• graph-convolution
• deep-learning

AI-powered platform for OSINT intelligence analysis. Features archive discovery with hypothesis-driven investigation, GLiNER entity extraction, Mapbox geospatial visualization, network analysis, and document processing. Built with FastAPI, Next.js, Weaviate, and DSPy.

• ai-agents
• document-processing
• dspy
• entity-extraction

Scalable stateless «zero config» service-name ingress for docker swarm mode with a fresh more secure approach

• docker-swarm-mode
• tls
• encryption
• swarm-router

A container view that responds to scrolling of UIScrollView

• flexible-library
• scrolling
• headerview
• swift

Publish and discover services using Bonjour

• carthage
• cocoapods
• xcode
• swift

Lightweight, open source Twitch interface for Game Maker: Studio

• gms1
• library
• example

CSSHórus is a library for easy and fast development of responsive and mobile websites. It contains 12 grid columns and basic style formats (Reset, Print, Grid, Misc styles) and now with 'Skins' stylizing (Typography, Lists, Links, Table, Form, Buttons) for your web project, also with RTL and LESS CSS. See my other projects -->

Veganify is a modern webapp that allows you to easily scan EAN barcodes to check if a product is vegan-friendly. With a database of over 3 million products, you can quickly find out if your favorite foods and products are suitable for a vegan diet.

• scanner
• barcode
• html5
• javascript

An app built with Elm to explore new artists using the Spotify api.

• elm
• elm-lang
• elm-architecture
• elm-demos

Arduino CMake Build system

Simple parallax header for UIScrollView.

Ultra high-performance secp256k1 ECC engine | Python, Node.js, Rust, Go, C#, Swift, Java bindings | CUDA, Metal, OpenCL GPU | ECDSA, Schnorr, FROST, MuSig2, BIP-352 | 15+ platforms

• cryptography
• cuda
• riscv
• secp256k1

Bmessages.nvim better :messages window using an auto-updating buffer.

Strategies For Automatic Node Discovery

• erlang
• distributed-erlang
• aws
• aws-ec2