open source software

CivicActions is a professional services firm providing design, technology, consulting, and training services to government. It helps government deliver trusted public services through open technology and design, using Agile and DevOps, open source software, and human-centered design to elevate government digital services.

Agile software deliveryData ServicesDevOpsDITAP trainingDrupal content managementhuman-centered designIT Modernizationsecurity and complianceworkforce development

The Erudition Computing Group, LLC (ECG) is a small business focused on delivering cutting-edge system and software engineering services for the Federal Government. Its services include cloud computing, software/systems engineering, data science/AI/ML, product management, and DevOps best practices.

Agile Scrumcloud computingCloud migrationCybersecurityData engineeringData ScienceDevOpsembedded systems engineeringmachine learningprogram managementQuality Assurance and Testingsoftware architecture and designsoftware developmentSystems EngineeringSystems Integrationtechnical support and maintenance

Globalinfobay Inc. is an Information Technology Services company established in 2005 that provides global IT solutions for clients. It does IT-related business including software development, e-commerce, data security, data analytics, and hosting for clients across industries. In 2008 it branched out to India for product development, research and analytics. It provides business intelligence, big data, data science, cloud computing, and IoT solutions.

business intelligencecloud computingData AnalyticsIoTIT consultingIT outsourcingmobile app developmentsoftware developmentweb application development

Jaia Robotics develops the JaiaBot System, a low-cost, micro-sized, high-speed aquatic drone for data collection and payload delivery. The ultraportable, modular vehicles can be launched from the surf zone, riverbank, dock, or watercraft and scale to multi-vehicle pods for wide-area aquatic data collection.

aquatic drone manufacturingbathymetrydata collection servicesmulti-vehicle swarm operationspassive acoustic monitoringsensor and payload integrationwater quality assessment

Krv Labs builds evaluation infrastructure for agentic AI systems. It produces evidence packages that justify an agent's decisions and expose uncertainty by inspecting the data (Pulsar), models (Pasteur), and code (Topos) behind each decision, rather than just inputs and outputs. Its core verification libraries are open source under the BSD 3-Clause License.

AI agent evaluationAI-generated code auditingdata manifold analysismodel stress-testingrepresentation learningtopological data analysis