TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.

SPARQL graph database

This repository is for development of the Unified Cyber Ontology.

High performance sFlow/IPFIX/NetFlow Collector

Open-source, low-cost 10.5 GHz PLFM phased array RADAR system

Open Source, Google Zanzibar-inspired database for scalably storing and querying fine-grained authorization data

A tool to create TCG Reference Integrity Manifest (RIM) files for use with attestation verifiers like HIRS.

The Go implementation of Connect: Protobuf RPC that works.

Fast and accurate automatic speech recognition (ASR) for edge devices

Spec-driven development (SDD) for AI coding assistants.

IronClaw is OpenClaw inspired implementation in Rust focused on privacy and security

"Building Distributed Systems with Stateright"

lowlevel set of cryptographic primitives for haskell

Cryptol: The Language of Cryptography

A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.

An API and client for managing STIG assessments

STIG Automation

An agentic skills framework & software development methodology that works.

Go HardWare discovery/inspection library

📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG

Automated STIG Benchmark Compliance Audit for Ubuntu 24 with Ansible & GOSS

Certificate and Key Reader/Writer in haskell

Easy to use OpenID Connect client and server library written for Go and certified by the OpenID Foundation

Intelligent automation and multi-agent orchestration for Claude Code

A type-safe Haskell SQL library

hsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as simple Haskell data structures.

A VHDL IP for ECC (Elliptic Curve Cryptography) hardware acceleration

Open source FPGA-based NIC and platform for in-network compute

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of…