drzchen/movec external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

drzchen/movec

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/drzchen/movec)

Close

drzchen / movecView on GitHubMore

• External links
• Readme badge

Movec: A Tool for the Monitoring and Verification of C Programs

☆22Mar 9, 2024Updated last year

Alternatives and similar repositories for movec

Users that are interested in movec are comparing it to the libraries listed below

• secure-software-engineering / SootFX

  View on GitHub
  A Static Code Feature Extraction Tool for Java and Android
  ☆21Jun 7, 2023Updated 2 years ago
• weimingtom / wmt_ai_study

  View on GitHub
  My AI study
  ☆27Nov 5, 2025Updated 3 months ago
• KRoverSystems / KRover

  View on GitHub
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆32Jun 16, 2024Updated last year
• anhvvcs / corana

  View on GitHub
  Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…
  ☆29Mar 6, 2024Updated last year
• BUseclab / FuzzNG

  View on GitHub
  ☆34Jun 5, 2023Updated 2 years ago
• jadedrip / simpleLang

  View on GitHub
  A compiler for SimpleLang which is a new language.
  ☆35Dec 14, 2023Updated 2 years ago
• kashimAstro / tf-esp32

  View on GitHub
  component esp-idf for tensorflow lite micro
  ☆11Oct 25, 2019Updated 6 years ago
• onebody / robot_car

  View on GitHub
  智能小车
  ☆10Aug 20, 2015Updated 10 years ago
• carlren / VisionTools

  View on GitHub
  A set of computer vision tools
  ☆11Aug 18, 2015Updated 10 years ago
• Deous / ESP32-UART-Load-Bitmap

  View on GitHub
  Example showing how to load any image via UART0 (default USB on esp32)
  ☆11Mar 11, 2019Updated 6 years ago
• OmniXRI / iThomeIronMan2021

  View on GitHub
  iThome 2021 (13屆) 鐵人賽【arm platforms組】 ─ 爭什麼，把AI和MCU摻在一起做tinyML就對了！
  ☆10Oct 22, 2021Updated 4 years ago
• Bowen-0x00 / cordic-algorithm-verilog

  View on GitHub
  使用Cordic算法函数运算，在资源受限的设备上运行（如资源较少的FPGA、嵌入式MCU），避免了浮点运算、乘法、除法，只用移位和加法函数的计算。
  ☆11Mar 22, 2024Updated last year
• moulik-source / CEH-V11-Notes

  View on GitHub
  CEH V11 Notes stay tuned and fork me. All the best for your exams 👍💯💥
  ☆11Dec 1, 2021Updated 4 years ago
• motib / jbaci

  View on GitHub
  Automatically exported from code.google.com/p/jbaci
  ☆12Nov 17, 2024Updated last year
• laithsakka / Grafter

  View on GitHub
  TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.
  ☆11Aug 13, 2023Updated 2 years ago
• martin-cs / symfpu

  View on GitHub
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆51Nov 16, 2025Updated 3 months ago
• spauka / SLAM

  View on GitHub
  SLAM Report
  ☆11Nov 25, 2011Updated 14 years ago
• mrd0x / NodeJSTools_LOLBIN

  View on GitHub
  ☆13Nov 24, 2021Updated 4 years ago
• Ewenwan / ORB-YGZ-SLAM

  View on GitHub
  ORB-SLAM2-IMU-VIO 直接法加速的惯导加持的ORB-SLAM2
  ☆11Nov 21, 2018Updated 7 years ago
• XIAOLUHOU / SCA-measurements-and-analysis----Experimental-results-for-textbook

  View on GitHub
  ☆12Jan 13, 2025Updated last year
• statsmodels / statsmodels.github.io

  View on GitHub
  documentation for statsmodels - currently temporary structure and location
  ☆13Jan 14, 2026Updated last month
• haoruilee / M5Stack_Healthy_code_tracer

  View on GitHub
  Use M5GO to track healthy code/position/RFID/temperature. 东南大学第一届物联网设计竞赛
  ☆11Aug 10, 2021Updated 4 years ago
• SJTU-PLV / CompCert

  View on GitHub
  The CompCert formally-verified C compiler
  ☆10Updated this week
• zhuangxiaopi / Semantic-Segmantation-based-Dynamic-Robust-SLAM

  View on GitHub
  Semantic-Segmantation-based-Dynamic-Robust-SLAM
  ☆12Jul 15, 2019Updated 6 years ago
• edstott / ES-synth-starter

  View on GitHub
  ☆13Feb 18, 2026Updated last week
• itheima1 / robot_arm_tensorflow

  View on GitHub
  机械臂深度学习正逆运动学
  ☆10Jun 7, 2020Updated 5 years ago
• waterrmalann / telegram-conversational-games-bot

  View on GitHub
  💬 A simple, chat games bot for Telegram to help keep chats active and fun.
  ☆11Aug 1, 2021Updated 4 years ago
• HiwebFrank / Blogs

  View on GitHub
  HiFrank Tech Blogs
  ☆11May 31, 2020Updated 5 years ago
• huangblue / learn

  View on GitHub
  各学科知识
  ☆12Nov 11, 2016Updated 9 years ago
• Anthony-S / stm32-rffe

  View on GitHub
  Bit-banged MIPI RFFE control library developed for STM32 HAL platforms
  ☆13May 3, 2019Updated 6 years ago
• MaximusZhou / APUE

  View on GitHub
  Unix环境高级编程学习笔记
  ☆13Jul 20, 2014Updated 11 years ago
• skb666 / PyBuildKit

  View on GitHub
  一个强大的 C/C++ SDK 编译框架，基于 CMake 和 Kconfig，结合了 Python 脚本进行项目管理。
  ☆11May 24, 2025Updated 9 months ago
• zwdnet / investment

  View on GitHub
  量化投资探索指数基金定投的策略
  ☆11Oct 21, 2017Updated 8 years ago
• Inception-framework / translator

  View on GitHub
  A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.
  ☆12Oct 20, 2022Updated 3 years ago
• Lenvia / RBM-BP-character-recognition

  View on GitHub
  RBM+BP神经网络识别手写数字和英文字符
  ☆11Mar 25, 2023Updated 2 years ago
• siliconwitchery / web-stm32-updater

  View on GitHub
  WebUSB API based DFU tool for STM32 devices
  ☆15Apr 18, 2022Updated 3 years ago
• warehouse-picking-automation-challenges / team_acrv_2016

  View on GitHub
  ☆10Apr 16, 2017Updated 8 years ago
• murxla / murxla

  View on GitHub
  A model-based API Fuzzer for SMT Solvers.
  ☆15Oct 14, 2025Updated 4 months ago
• caszca / CPU

  View on GitHub
  多周期流水25条基础MIPS指令CPU实现。测试环境：vivado。编写语言：verilog。必选书籍：《自己动手写CPU》
  ☆10Apr 16, 2023Updated 2 years ago