a formally verified agentic system for capability-bounded autonomous reasoning
☆16Jul 31, 2026Updated last week
Alternatives and similar repositories for LNkernel
Users that are interested in LNkernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interactive claude-flow v3 orchestration coach skill - guides topology selection, agent deployment, memory config & intelligence layers. …☆22Feb 3, 2026Updated 6 months ago
- Real-time network traffic visualization and AI-powered privacy analysis dashboard. Exposes every connection, tracker, and byte leaving yo…☆27Mar 28, 2026Updated 4 months ago
- ☆20Apr 9, 2026Updated 4 months ago
- Specs that enforce themselves. Turn specs into contracts that can't be broken by helpful LLMs.☆24Jul 15, 2026Updated 3 weeks ago
- A hybrid programming language combining Lean4's formal verification with blazing-fast compilation, actor-based agent orchestration, AI-dr…☆59Oct 25, 2025Updated 9 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Agentic QE Fleet is an open-source AI-powered QA/QE platform designed for use with Coding Agents (works best with Claude Code) featuring …☆436Updated this week
- ☆115Aug 10, 2025Updated last year
- Harbor Command Line interface☆15May 23, 2022Updated 4 years ago
- Chess AI with Spring AI☆13Feb 25, 2025Updated last year
- This repo contains the code for demonstrating how to using LlamaEdge RAG to build a RAG app☆13May 15, 2024Updated 2 years ago
- ☆11Sep 6, 2024Updated last year
- Spring reference project for building solutions using Spring Boot, Spring Data, Spring Cloud Stream using technologies along with using t…☆15Feb 22, 2025Updated last year
- CLI for Harbor Registry☆11May 26, 2022Updated 4 years ago
- Pivotal Cloud Cache☆15Jan 11, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The system of record for AI. Models commoditize, trust doesn’t.☆24Updated this week
- Simple DevSecOps Demo☆12Jul 14, 2021Updated 5 years ago
- ☆13Jul 19, 2022Updated 4 years ago
- Set of microservices and workshop instructions to demonstrate use of Spring Cloud Services. https://github.com/Tanzu-Solutions-Engineerin…☆13Nov 8, 2023Updated 2 years ago
- Using OpenAI API with Google Gemini Flash 2.0☆12Mar 10, 2025Updated last year
- Repo with steps for how to deploy tap to local k8s such as docker desktop☆12Feb 24, 2024Updated 2 years ago
- MongoDB Atlas Provider based on Terrajet☆17Updated this week
- Sample applications demonstrating use of Circuit Breaker Dashboard for Pivotal Cloud Foundry.☆11Oct 16, 2025Updated 9 months ago
- A local kubernetes cluster with KIND and different types of Ingress controllers (nginx, istio, cilium) built using Terraform☆16Mar 18, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Mattermost is a self-hosted Slack-alternative - a modern communication, behind your firewall, running on BOSH in AWS, vSphere, GCE, Azure…☆14Jun 12, 2019Updated 7 years ago
- Solo Podcast Creation from Web Page content☆19Sep 23, 2024Updated last year
- ☆21Jan 5, 2026Updated 7 months ago
- A proof of concept for using React in Drupal core on the DB Log page. For current efforts, see https://github.com/jsdrupal/drupal-admin-u…☆19Jan 11, 2018Updated 8 years ago
- NSX CI pipeline☆13Nov 18, 2020Updated 5 years ago
- Cloud Foundry CLI plugin to report on APP, App Instance, Memory, Velocity, Service instance and Members per Org/Space & totals.☆15Dec 17, 2019Updated 6 years ago
- Automation scripts to standup and tear down Tanzu Application Platform locally with KIND☆17Apr 14, 2022Updated 4 years ago
- ☆23Apr 24, 2018Updated 8 years ago
- ☆16Nov 12, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A cheap multipurpose mobile robotic platform for research, development, education and fun. All the code, data, instructions and files yo…☆16Jul 1, 2026Updated last month
- Rust library implementing the Toorani-Beheshti signcryption scheme☆13Aug 15, 2023Updated 2 years ago
- Code for Platform Automation The Pivotal Way (http://sched.co/Ddaj)☆12Mar 30, 2019Updated 7 years ago
- This is a simple experiment to test Spring 5's Webflux Module's Functional Programming Model interaction with the Reactiverse reactive-pg…☆16Mar 19, 2026Updated 4 months ago
- sample apps showing various ways of using spring boot on Kubernetes☆14Jul 12, 2024Updated 2 years ago
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- Cloud-native pipelines leveraging Concourse, Pivotal Build Service and Spinnaker to deploy apps☆15Feb 26, 2020Updated 6 years ago