Pulsar searching with the Fast Folding Algorithm (FFA)

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

UAV Motion-Planning Path-Planning A*, Kinodynamic A*, RRT, RRT*, SE(3)Planning, Minimum-Snap

Bridging deep learning and logical reasoning using a differentiable satisfiability solver.

A method for training neural networks that are provably robust to adversarial attacks.

An Open-source FPGA IP Generator

OpenMDAO repository.

Build Customized FPGA Implementations for Vivado

Official repository of "SAMURAI: Adapting Segment Anything Model for Zero-Shot Visual Tracking with Motion-Aware Memory"

Official inference repo for FLUX.1 models

Verilog to Routing -- Open Source CAD Flow for FPGA Research

3D Mapping Library for Autonomous Robots (C++/ROS)

A modern LaTeX Beamer theme

2D & 3D TeX-Aware Vector Graphics Language

Autonomous Flight Package for Various Indoor UAV Tasks (C++/ROS/PX4)

The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

Group administration repository for SIG: SoftCPU

The Core Flight System (cFS)

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

Database diagrams editor that allows you to visualize and design your DB with a single query.

Command-line tool from the Alire project and supporting library

Kinematics and Dynamics for Robotics

Polynomial trajectory generation and optimization, especially for rotary-wing MAVs.

Thick Ada binding for OpenGL and GLFW

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

Trajectory Planning Library for Autonomous Robots (C++/ROS).

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

💧 Liquid Tensor Experiment