2801.jgrivera67 / HiRTOS
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Ranked by Attention Score: stars gained over the last 90 complete days
2801–2900 of 3,778 by Attention Score · Aug 8, 2026 – Nov 5, 2026 (UTC)
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Gemini CLI extension that adds Gemini API docs and MCP
A powerful, yet simple to use, self-hosted redirect service
hypermatch is a high-performance ⚡ Go library designed for rapid matching of a large number of rules to events. It processes thousands of events per second 🚀 against extensive rule sets in-memory with minimal latency ⏱️.
A code-first BDD testing framework for Kotlin & Java.
A terminal UI for Docker Swarm that makes cluster state easier to see, understand, and reason about.
Ultra-lightweight Java DI framework with JSR-330 support, fast classpath scanning, and zero boilerplate. Minimal alternative to Spring/Guice.
The open-source safety layer for AI agents — block unsafe tool calls, require approval, enforce budgets, audit, replay.
Neovim plugin for displaying code coverage
Turn-based strategy game
Neovim 0.12+ native vim.pack package management
🛡️ Static security scanner (SAST) for Ansible playbooks, roles, and collections. 1,000+ rules across 30+ categories detecting malicious code, RCE, hardcoded credentials, and supply-chain risk. Outputs SARIF, CycloneDX SBOM, and GitLab SAST. SLSA Build Level 3, Sigstore-signed.
Django backend for Helium - Student Planner
Pin AI Skill behavior. Block unapproved drift in CI. See exactly what changed in every PR.
Powerful and flexible library for loading, caching and displaying images on Android.
TranslatedChinese version of the official Android training course
TranslatedOkGo - 3.0 arrives with a bang. This library is a network request framework based on the HTTP protocol that wraps OkHttp. It is simpler and easier to use than Retrofit, supports RxJava and RxJava2, supports custom caching, and supports batch resumable download management and batch upload management
Android runtime permissions powered by RxJava2
AWS SDK for JavaScript v2 (End-of-Life as of 09/08/2025). The AWS SDK for JavaScript v3 in the browser and Node.js is available here: https://github.com/aws/aws-sdk-js-v3
A custom ViewPager title strip which gives continuous feedback to the user when scrolling
MySQL replication topology management and HA
A gradle plugin for getting java lambda support in java 6, 7 and android
Set of extra Transitions on top of Jetpack Transitions Library
Fast and simple OCR library written in Swift
Standalone Android widget for picking a single date from a calendar view.
A TextView that automatically resizes text to fit perfectly within its bounds.
:stuck_out_tongue_closed_eyes: TensorFlowTTS: Real-Time State-of-the-art Speech Synthesis for Tensorflow 2 (supported including English, French, Korean, Chinese, German and Easy to adapt for other languages)
Cryptographic currency implementing Ouroboros PoS protocol
React Hooks for Firebase.
A best practice for tensorflow project template architecture.
Vert.x examples
Generic programming for Scala
Notary is a project that allows anyone to have trust over arbitrary collections of data
Screaming fast JSON parsing and serialization library for Android.
Material Design implementation for Android 4.0+. Shadows, ripples, vectors, fonts, animations, widgets, rounded corners and more.
A surgical debugging tool to uncover the layers under your app.
Repository for BLESS, an SSH Certificate Authority that runs as a AWS Lambda function
Android ImageViews animated by Ken Burns Effect
Fast, non-deadlocking parallel object cache for iOS, tvOS and OS X
Library containing common animations needed for transforming ViewPager scrolling for Android v13+.
iOS port of Google's libphonenumber with Objective-C core, Swift facade, SwiftUI input, and CocoaPods/SPM support
[deprecated] Android L Ripple effect wrapper for Views
App Metrics is an open-source and cross-platform .NET library used to record and report metrics within an application.
Graphics API Debugger
Cross domain local storage, with permissions
Automatically generate a RESTful API service for your legacy database. No code required!
:elephant: Elasticsearch real-time search and analytics natively integrated with Hadoop
Scala GraphQL implementation
A collection of scripts to set up MongoDB test environments and parse and visualize MongoDB log files.
Elassandra = Elasticsearch + Apache Cassandra
Interactive CTF Exploration Tool
A Backend-Driven UI toolkit, build your dynamic UI with json, and the json format is very similar with flutter widget code.
TMI (Too Many Images) - discover your image weight on the web
Official repository for the "Big Transfer (BiT): General Visual Representation Learning" paper.
A decentralized, trusted, high performance, SQL database with blockchain features
Distributed Prometheus time series database
s3git: git for Cloud Storage. Distributed Version Control for Data. Create decentralized and versioned repos that scale infinitely to 100s of millions of files. Clone huge PB-scale repos on your local SSD to make changes, commit and push back. Oh yeah, it dedupes too and offers directory versioning.
Polkadot's ink! to write smart contracts.
Python Driver for Apache Cassandra®
Android library to display progress like google does in some of his services.
A functional reactive framework for managing state evolution and side-effects.
Writing SQL using Java syntax
Render After Effects animations natively on Android, iOS, MacOS and TvOS for Xamarin
Jansi is a small java library that allows you to use ANSI escape sequences to format your console output which works even on windows.
The XCTest Project, A Swift core library for providing unit test support
Apache Geb: Very Groovy Browser Automation
TranslatedA lightweight DDD forward/reverse business modeling framework that supports the architectural evolution of complex business systems!
Enterprise Network Flow Collector (IPFIX, sFlow, Netflow)
:station: - friendly web compiler
Elixir client libraries for accessing Google APIs.
A simple example of a responsive Month Calendar app widget for Android
An Android library containing a simple TableView and an advanced SortableTableView providing a lot of customisation possibilities to fit all needs.
Simple browser extension for managing Polkadot and Substrate network accounts in a browser. Allows the signing of extrinsics using these accounts. Also provides a simple interface for compliant extensions for dapps.
2D/3D geometry toolkit for Clojure/Clojurescript
Sparkling Water provides H2O functionality inside Spark cluster
A software library of stochastic streaming algorithms, a.k.a. sketches.
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Android library for viewing, editing and sharing in app databases.
The repository host gives no description.
Extensions for F#
Discord API library for Node and Deno
The Stack Overflow clone for your team (self-hosted or hosted)
High performance reactive SQL client written in Java
MariaDB Embedded in Java JAR
🚀 fast JavaScript 4 Eclipse Vert.x
DnsClient.NET is a simple yet very powerful and high performant open source library for the .NET Framework to do DNS lookups
Simple microORM that maps the results of a query onto a POCO object. Project based on Schotime's branch of PetaPoco