Create self-extracting compressed or self-mounting archives for MicroPython
Repository Index
47,133 repositories indexed
553–576 of 713 · Most stars
Collecting, shape-enhancing, validating, fixing and (partially) merging GTFS feeds
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Java lib for monitoring directories or individual files via java.nio.file.WatchService
Micropython implementation of popular 433MHzn based RFSockets (i.e. Anslut/Proove/Nexa)
Community list of shared micromobility APIs, apps, datasets, research, and software
paste stdin and clipboard to ipfs
Extracts frames from a GIF including inter-frame coalescing.
- gif
- gif-animation
- gifsicle
- extract-frames
Cloud Resource Provisioning framework for IBM Storage Scale (or gpfs)
- spectrum-scale
- gpfs
- terraform
- hcl2
A tool to enable fuzzing for Spectre vulnerabilities
Web extension to Save tweets in a verifiable way to IPFS
Magento 2 module providing a compliant EU withdrawal button required from June 19, 2026 (§356a BGB / Directive (EU) 2023/2673). Enables customers and guests to revoke orders via a simple form (name, order number, email), sends automatic confirmation emails, and allows admin management in the backend.
Decentralized message client demo with OrbitDB and IPFS running on Angular
Concentrate: combine realtime transit files
GTFSVTOR - Fast GTFS validator
Recreates directory and files from embedded filesystem using Go 1.16 embed.FS type.
- embedded
- resource-embedding
- golang
- filesystem
Python library for reading and writing GTFS feeds
C++17 header-only library for reading and writing GTFS 🌍
A generic, concurrent-safe, and easy-to-use finite state machine (FSM) library for Go.
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Convert GTFS data into GeoJSON.
Encrypt and decrypt IPFS files with a secret passphrase.
Comprehensive guides to GTFS and GTFS Realtime
Wrapper for MicroPython mpremote tool
- micropython
- mpremote
- webrepl
- ampy