Lists (1)
Stars
A simple interpreted programming language where everything is pass-by-value
Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/
Infrastructure support for NASA's IMAP mission using CDK.
A security-focused desktop and server linux operating system.
family tree visualization built on top of d3
Kernel Hardening; Protect Linux User Accounts against Brute Force Attacks; Improve Entropy Collection; Strong Linux User Account Separation; Enhances Misc Security Settings - https://www.kicksecure…
A guided, intuitive introduction to genomics for software engineers. Curated by the community.
Papers from the computer science community to read and discuss.
Satellite orbit visualization and pass prediction with Cesium.js
🛰️🚀A list of awesome space-related packages and resources maintained by The Orbital Index
Cloud Robotics Core: Kubernetes, Federation, App Management
robolaunch is a Cloud Robotics Platform that provides the end-to-end infrastructure, software stack and tools for developing, simulating, deploying and operating ROS/ROS2 robots at scale.
Scalable datastore for metrics, events, and real-time analytics
Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems
Example repository demonstrating the Adamant software framework
An open source flight dynamics & control software library
Nyx is a high fidelity, fast, reliable and validated astrodynamics toolkit library written in Rust and available in Python
Science Yield improvemeNt via Onboard Prioritization and Summary of Information System (SYNOPSIS)
A full-system reference for F´ projects.
Official repo for paper "Structured 3D Latents for Scalable and Versatile 3D Generation" (CVPR'25 Spotlight).