A Python toolkit for generating human-readable timetables from GTFS data; uses PANDAS and gtfs_kit
- gtfs
- html-timetables
- public-transport
- public-transportation
Repository Index
47,133 repositories indexed
505–528 of 713 · Most stars
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Library and tool for reading, writing, and processing transit data
- gtfs
- gtfs-realtime
- transit
- mobility
a text-based cooperative cooking game
An open source implementation of some of the applications from Larry Kroeker's DF-EDIT
GTFS-ride is an open standard for storing and sharing fixed-route transit ridership data.
- transit
- transportation
- public-transportation
- ridership
A tool to catch spoofed NBNS responses.
A simple module for saving gifs from LOVE 0.11.x.
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Collection of hashcat lists and things.
- hashcat
- hashcat-rules
- hashcat-masks
- password-cracking
This script takes a file or directory as input, uses GPG AES256 symmetric encryption with the password you provide and adds it to IPFS and returns the IPFS hash.
- ipfs
- cli
- encryption
- ipfs-add
Automatically import infrastructure to tfstate
GTFS validator
Helmut Hoffer von Ankershoffen experimenting with auto-provisioned RPi cluster running K8S on bare-metal
A Go toolkit for building AI agents and applications across multiple providers. Unified LLM client, agent framework with handoffs, tool calling, streaming, structured output, MCP integration, and cost tracking.
- ai
- golang
- llm
- structured-output
A GTFS parsing library for Go
Generate Graphviz diagrams from FSM data
GTFS Segments: A fast and efficient library to generate bus stop spacings
- bus
- stop
- distribution
- gtfs-feed
Load GTFS files in golang
- go
- gtfs
- hacktoberfest
Capture screenshots, publish them to IPFS, and copy the link to the clipboard.
Read & analyze GTFS datasets using Node.js.
The Elixir library that is used to communicate with the IPFS REST endpoint.
Docker image to host IPFS HTTP gateway with support for pin listing and easily adding content
Promise-based HTML5 Filesystem API similar to Node.js fs module
- html5-filesystem-api
- filesystem-api