nlwmode Goto Github PK

3d_navigation

Global and local path planner plugins for ROS move_base which move the robot in 2D (x,y,angle) but avoid collisions using full 3D data (robot meshes and environment octomap).

5_laser_camera_sim

aiger

AIGER And-Inverter-Graph Library

armpick

awesome-logic-synthesis

A collection of the Logic Synthesis about peoples/papers/projects/tutorials...

benchmarks

EPFL logic synthesis benchmarks

circuit-parser

C++ parsing library for simple formats used in logic synthesis and formal verification

cloth_simulation

使用弹簧质子模型制作的布料仿真程序

cpp_interview_guide

C++开发相关面试题目：涉及C++面试常问题、设计模式、数据结构、操作系统及网络等。完善中...

cudd

CUDD stands for Colorado University Decision Diagram. It is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).

dbow

orb slam2 dbow

delivery-robot

A robot package for express delivery robot.

ekf_fusion

Fuse IMU_data and Odometry_data by EKF

espresso

logic synthesis tool

figure-plot-nlwmode

functional-completeness

functional completeness

gprof2dot

Converts profiling output to a dot graph.

groupchat

C++，内网实现多人聊天

ifpga-mapper

iFPGA mapper for technology mapping in logic synthesis.

leetcodeanimation

Demonstrate all the questions on LeetCode in the form of animation.（用动画的形式呈现解LeetCode题目的思路）

lsoracle

AI-driven logic synthesis oracle

lstools-showcase

Showcase examples for EPFL logic synthesis libraries

mec

Mapping Equivalence Checking

mvsis

logic synthesis tool

navigation2

ROS2 Navigation

ndt_localizer

A simple, clean NDT licalization ROS package.

ndt_omp

Multi-threaded and SSE friendly NDT algorithm

nlwmode

nlwmode.github.io

my personal website.

occ_grid_mapping

A simple implementation of occupancy grid mapping.