ChrisYin

Zhenguo Yin's repositories

M100_Apriltags

Apriltags dectection in M100

Language:C++5 20

arxiv-style

A Latex style and template for paper preprints (based on NIPS style)

Language:TeXMIT010

Auto.js

A UiAutomator on android, does not need root access(安卓平台上的JavaScript自动化工具)

Language:JavaNOASSERTION000

Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.

Language:MakefileNOASSERTION010

busybox

BusyBox mirror

Language:CNOASSERTION010

CompCert

The CompCert formally-verified C compiler

Language:CoqNOASSERTION010

crackmes

Some CrackMe codes for Linux x86/x86_64

Language:C020

dsss17

Lecture material for DeepSpec Summer School 2017

Language:Coq000

firefox-emacs

Emacs toolkits for firefox

Language:JavaScriptGPL-3.0000

embarc_osp

embARC Open Software Platform (OSP) - An embedded software distribution for IoT and other embedded applications for ARC

BSD-3-Clause000

foam-starter

Trying foam in VSCode

Language:HTML000

freedom-e-sdk

Open Source Software for Developing on the Freedom E Platform

NOASSERTION000

gitignore

A collection of useful .gitignore templates

CC0-1.0020

hip_example

simple hip example

Language:C++000

langgraph

Build resilient language agents as graphs.

MIT000

linux

Kernel source tree for Raspberry Pi Foundation-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://www.raspberrypi.org/forum

Language:CNOASSERTION000