SPARK TOTP library
Repository Index
47,133 repositories indexed
20,305–20,328 of 21,786 · Most stars
SPARK formal verification automated with Travis CI
Zero-dependency Go implementation of the Unix getopt function, tested against GNU libc.
- cli
- getopt
- gnu
- go
Bind a context to all functions in an object, including deeply nested functions.
- function
- bind
- context
- object
Small tool to validate epub files for macOS. Based on https://github.com/IDPF/epubcheck
Common Lisp SDK for Model Context Protocol (MCP) and Agent-to-Agent Protocol (A2A)
- a2a-protocol
- common-lisp
- mcp
- mcp-client
A Swift playground demonstrating how to use Core Animation
- swift-playgrounds
Simple Neovim plugin to move selected lines up or down
Utility to print out GTFS-Realtime
Repo to go along with my sysadvent 2014 post
The repository host gives no description.
Yield farming opportunity for Golem's GLM token holders. (By staking uniswap-LP tokens that is a pair between GLM and ETH into the stake pool)
- golem
- solidity
- truffle
- web3js
Abstractions and utilities to get rid of boilerplate code in business logic
- datastructures
- generic
- go
- golang
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.
An UI and API for mididings https://github.com/mididings/mididings
- mididings
- live-music-automation
- osc-integration
- python-midi
Tag based configuration loader from different providers
- go
- golang
- configuration
- struct
This bundle can help you to deserialize incoming request parameters from symfomy http request object to your DTO objects. This is a better alternative for new symfony request DTO resolvers.
- bundle
- php
- symfony
- symfony-bundle
Helios EasyControls modbus tcp to mqtt-smarthome daemon
An Microsoft Visual Code extension for Golang to print symbol definition to output
export windows hardware info and sensors to prometheus type
Treesitter methods to make my life less miserable
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor
Decode SCALE bytes into custom types using a scale-info type registry and a custom Visitor impl.