Repositories list

• elodin

  Public
  Elodin simulation and flight software monorepo.

  rustspaceaerospace+ 3

  rustspaceaerospaceecsdronesphysics-simulation

  Rust

  •

  Apache License 2.0

  •31•516•51•4•Updated Mar 23, 2026Mar 23, 2026

• aleph-jetson-orin-baseboard-nvidia-t23x-public-dts

  Public
  C

  •2•0•0•0•Updated Mar 22, 2026Mar 22, 2026

• aleph-template-project

  Public
  Hello world project template for building and deploying Aleph NixOS based applications.

  Nix

  •

  Apache License 2.0

  •0•0•0•0•Updated Mar 19, 2026Mar 19, 2026

• aleph-icarus

  Public
  Nix

  •

  Apache License 2.0

  •0•0•0•0•Updated Feb 10, 2026Feb 10, 2026

• aleph-phaser

  Public
  Proof of concept deploying Analog Devices Phaser workshop demos onto Aleph

  Python

  •0•0•0•1•Updated Feb 8, 2026Feb 8, 2026

• muxide

  Public
  Pure Rust MP4 muxer — zero deps, no FFmpeg. Feed it encoded frames, get a standards-compliant MP4. H.264, H.265, AV1, AAC, Opus.

  Rust

  •

  Apache License 2.0

  •7•1•0•0•Updated Feb 7, 2026Feb 7, 2026

• aleph-orin-baseboard-kernel

  Public
  C

  •

  Other

  •1•0•0•0•Updated Jan 15, 2026Jan 15, 2026

• xla-ext

  Public
  Pre-compiled XLA extension

  C++

  •

  Apache License 2.0

  •37•0•0•0•Updated Dec 30, 2025Dec 30, 2025

• aleph-orin-baseboard-kernel-5-10

  Public
  C

  •

  Other

  •5•0•0•0•Updated Dec 3, 2025Dec 3, 2025

• big_space

  Public
  A floating origin plugin for worlds larger than the observable universe

  Rust

  •

  Apache License 2.0

  •51•2•0•0•Updated Nov 5, 2025Nov 5, 2025

• debugprobe

  Public
  C

  •

  Other

  •311•0•0•0•Updated Oct 31, 2025Oct 31, 2025

• PX4-Autopilot

  Public
  PX4 Autopilot Software

  C++

  •

  BSD 3-Clause "New" or "Revised" License

  •15k•0•0•0•Updated Oct 11, 2025Oct 11, 2025

• xla-next

  Public
  Pre-compiled XLA extension

  Elixir

  •

  Apache License 2.0

  •37•0•0•0•Updated Oct 3, 2025Oct 3, 2025

• xla

  Public
  Pre-compiled XLA extension

  Starlark

  •

  Apache License 2.0

  •37•0•0•0•Updated Sep 2, 2025Sep 2, 2025

• pictocopter

  Public
  Pictorus running on Aleph

  Nix

  •0•0•0•0•Updated Aug 7, 2025Aug 7, 2025

• aleph-orin-baseboard-nvidia-kernel-oot

  Public
  Makefile

  •1•0•0•0•Updated Jul 15, 2025Jul 15, 2025

• NuttX

  Public
  Standard NuttX with current PX4 patches

  C

  •

  Apache License 2.0

  •251•0•0•0•Updated May 12, 2025May 12, 2025

• bevy_infinite_grid

  Public
  Rust

  •

  Other

  •46•2•0•0•Updated May 6, 2025May 6, 2025

• jetpack-nixos

  Public
  NixOS module for NVIDIA Jetson devices

  Nix

  •

  MIT License

  •121•0•0•0•Updated Apr 23, 2025Apr 23, 2025

• paracosm

  Public archive
  Rust

  •0•1•0•0•Updated Apr 17, 2025Apr 17, 2025

• motor-testing

  Public
  Bunch of motor testing scripts + data

  JavaScript

  •1•0•0•0•Updated Mar 26, 2025Mar 26, 2025

• stm32-pin-solver

  Public
  Python

  •0•0•0•0•Updated Mar 11, 2025Mar 11, 2025

• active-bom

  Public
  Python

  •0•0•0•0•Updated Feb 20, 2025Feb 20, 2025

• bbq2

  Public
  An experimental next gen version of bbqueue

  Rust

  •5•0•0•0•Updated Feb 20, 2025Feb 20, 2025

• nodit

  Public
  This crate provides Discrete Interval Tree Data-Structures, which are based off BTreeMap

  Rust

  •

  MIT License

  •4•0•0•0•Updated Feb 19, 2025Feb 19, 2025

• NuttX-1

  Public
  Standard NuttX with current PX4 patches

  C

  •

  Apache License 2.0

  •251•0•0•0•Updated Jan 15, 2025Jan 15, 2025

• betaflight

  Public
  Open Source Flight Controller Firmware

  C

  •

  GNU General Public License v3.0

  •3.7k•0•0•0•Updated Jan 12, 2025Jan 12, 2025

• rpdbg

  Public
  0•0•0•0•Updated Dec 31, 2024Dec 31, 2024

• linux

  Public
  Linux kernel source tree

  C

  •

  Other

  •61k•0•0•0•Updated Oct 14, 2024Oct 14, 2024

• linux-tegra-5.10

  Public
  NVIDIA downstream Linux kernel for Jetson platforms in single-repo form, derived from L4T R35.x series BSP

  C

  •

  Other

  •34•0•0•0•Updated Sep 7, 2024Sep 7, 2024