Lean 4 programming language and theorem prover

π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.

User manual and example notebooks for the pytket quantum computing toolkit

Pythonic tool for orchestrating machine-learning/high performance/quantum-computing workflows in heterogeneous compute environments.

Grant Framework Guidelines, Process, Application

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

TM Robots supporting ROS2 drivers and some extended external applications. (experimental) (not support the new TM AI Cobot S Series)

Arduino library for asynchronous playback of PCM/WAV files direct from SD card. Arduino Uno,Nano,Mega etc supported

This repository contains the OpenTelemetry Astronomy Shop, a microservice-based distributed system intended to illustrate the implementation of OpenTelemetry in a near real-world environment.

PersonaPlex code.

A collection of Python samples demonstrating how to get started with IonQ using various quantum frameworks

API for the JPL Horizons tool to retrieve solar system parameters

API for the JPL Horizons tool to retrieve solar system parameters

Your Next SaaS Template or Boilerplate ! A magic trip start with `bun create saasfly` . The more stars, the more surprises

Mathematical, Statistics, Medical, Scientific Data Visualization

A curated list of resources related to IPTV

Collection of publicly available IPTV channels from all over the world

Lido DAO smart contracts

A curated list of awesome D documents, frameworks, libraries and software. Inspired by awesome-python.

Container for all classes that will be used to marshal and unmarshal XML/JSON from the API

Repo to accompany Jon Krohn and Ed Donner's workshop on Agentic AI in Action at ODSC East

Simulation data from CARLA v0.9.14 for urban driving scenario with 10 autonomous vehicles. Contains CSV files with vehicle positions, sensor data, and collision events. Analysis scripts included

A toolkit for orchestrating distributed systems at any scale. It includes primitives for node discovery, raft-based consensus, task scheduling and more.

A fully realized in house R&D data in pipeline leveraging Primal Logic Kernels And Quantum inspired algorithms Connects multiple heterogenous databases

The libacvp library is a client-side implementation of the draft ACVP protocol (github.com/usnistgov/ACVP).

TAK Server docker setup