HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Repository Index
47,133 repositories indexed
913–936 of 1,139 · Most stars
Collection of composable D3 components built with ember-d3-helpers
Adaptive Graph Attention Auto-encoder for Spatial Domain Identification of Spatial Transcriptomics
Tiny header-only C++17 library for lat/lng geometry: distance, bearing, area, point-in-polygon and path proximity
3D (animated) cube using only CSS (Less), originally used by LeanCloud (aka. AVOS Cloud)
Text-based logic question captcha's for Rails 🚫🤖
Service discovery and querying of GraphQL schema's in Vert.x based microservices
- vertx-service-discovery
- vertx
- graphql
- microservices
Ada-language framework
- ada
- ada-language
- arm
- avr
Phraser is a phrase generator using n-grams and Markov chains to generate phrases for passphrase cracking. The generated phraselists can be used as wordlists in your favourite password cracking application.
The repository host gives no description.
🗺️ List of GeoJSON invalid geometry issues with example files
Fast and storage-efficient spatial database engine for OpenStreetMap data
A Delphi alpha-aware graphics class similar to TCanvas, for transparent drawing.
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Omarchy Theme for Arch Linux
A GTFS parsing library for Go
REPO MOVED https://github.com/juspay/omnix/tree/main/crates/omnix-health
Stripping whitespace out of your Handlebars templates
GTFS Segments: A fast and efficient library to generate bus stop spacings
- bus
- stop
- distribution
- gtfs-feed
Open-source AI study companion — Google Classroom sync, Gemini AI plans, SRS flashcards, GPA predictor, AI quiz, MCP server for Claude Code. Try demo at shiori-v1.vercel.app
Finder context menu automation for macOS. Run scripts on selected files with a right-click.
- automation
- context-menu
- finder-extension
- macos
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
A CakePHP + VueJS single page application skeleton/boilerplate.
Displays automatic scale bars for projected geospatial data.