Git Product home page Git Product logo

liluyi's Projects

apue icon apue

《UNIX环境高级编程》随书代码与课后习题

armulator icon armulator

A emulator for ARM programs. Aim to run ARM programs in x86 platform. The project is originally on source forge, at sourceforge.net/projects/armulator/

awesome-matlab-robotics icon awesome-matlab-robotics

This is a list of awesome demos, tutorials, utilities and overall resources for the robotics community that use MATLAB and Simulink.

awesome-ocaml icon awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

bound-t-h8-300 icon bound-t-h8-300

A software tool that uses static analysis of machine code to compute upper bounds on the execution time (WCET) and stack usage of embedded programs

bytecrawler icon bytecrawler

WCET computing of OCaml bytecode (for microcontrollers)

canmatrix icon canmatrix

Converting Can (Controller Area Network) Database Formats .arxml .dbc .dbf .kcd ...

cbmc icon cbmc

C Bounded Model Checker

chronovise icon chronovise

Measurement-Based Probabilistic Timing Analysis framework

cil icon cil

C Intermediate Language

cmbacktrace icon cmbacktrace

Advanced fault backtrace library for ARM Cortex-M series MCU | ARM Cortex-M 系列 MCU 错误追踪库

cobra icon cobra

An interactive (fast) static source code analyzer

codechecker icon codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

copilot icon copilot

A (Haskell DSL) stream language for generating hard real-time C code.

cppcoreguidelines icon cppcoreguidelines

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

cpprobotics icon cpprobotics

cpp implementation of robotics algorithms including localization, mapping, SLAM, path planning and control

csmith icon csmith

Csmith, a random generator of C programs

cwe_checker icon cwe_checker

cwe_checker finds vulnerable patterns in binary executables

doc_downloader icon doc_downloader

下载豆丁、淘豆、道客巴巴、原创力、金锄头文档，并自动转换为PDF

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.