Webots Robot Simulator

A Modular Toolkit for Robot Kinematic Optimization

Course material for a basic hands-on analog circuit design course with IC emphasis

Write like a high-level language, run like C.

A fast and simple implementation of learning algorithms for robotics.

EngineeringPaper.xyz is a web app that makes it easy to create, save, and share engineering calculations.

Unified framework for robot learning built on NVIDIA Isaac Sim

RoboCasa: Large-Scale Simulation of Everyday Tasks for Generalist Robots

A lightweight suite of motion imitation methods for training controllers.

Fully First-Order Differentiable Optimization

A Formal Verification Methodology to lower the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector (this is a mirror of https://gitlab.com/fvmformal/fvm : you can…

Hypr is a tiling window manager written in modern C++.

i use hyprland now so this is no longer necessary

A high-throughput and memory-efficient inference and serving engine for LLMs

fugitive.vim: A Git wrapper so awesome, it should be illegal

Linux PAM (Pluggable Authentication Modules for Linux) project

nghttp2 - HTTP/2 C Library and tools

Easily build and run CHERI related projects

Scalable metrics logging and analysis

FreeBSD adapted for CHERI-RISC-V and Arm Morello.

LTE-M, NB-IoT and GPS on nRF9160-DK, nRF9161-DK (ARM Cortex-M33)

Package manager and build system for VHDL, Verilog, and SystemVerilog

Droidian unified ci builds

130nm BiCMOS Open Source PDK, dedicated for Analog, Mixed Signal and RF Design. Documentation is here:

test app

A simple,high performance and secure live media server in pure Rust (RTMP[cluster]/RTSP/WebRTC[whip/whep]/HTTP-FLV/HLS).🦀

DRM/KMS OpenGL GUI example