Pinned Repositories
ardupilot
ArduPlane, ArduCopter, ArduRover, ArduSub source
ArduPilot-Modes
Ardupilot applications that use modes and mode-grouping
cFS
The Core Flight System (cFS)
ghost-storage
Ghost Blog plugin for cloud storage
hexo-deployer-pinata
IPFS and Pinata deployer plugin for Hexo
kick-me-off
Chrome extension to kick you off selected sites when timer is up.
shmup
Multiplayers shooting game with Phaser and Socket.io
qishen's Repositories
qishen/hexo-deployer-pinata
IPFS and Pinata deployer plugin for Hexo
qishen/ardupilot
ArduPlane, ArduCopter, ArduRover, ArduSub source
qishen/ArduPilot-Modes
Ardupilot applications that use modes and mode-grouping
qishen/cFS
The Core Flight System (cFS)
qishen/cmu-soda.github.io
Soda lab website
qishen/clamav
ClamAV - Documentation is here: https://docs.clamav.net
qishen/DataflowCheck
qishen/differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
qishen/differential-datalog
An incremental programming language
qishen/differential-formula
Formal Modeling Using Logic Programming and Analysis
qishen/dress-ml
qishen/droneDSL
Domain Specific Language for drone automated flight mission
qishen/everparse
Automated generation of provably secure, zero-copy parsers from format specifications
qishen/formula-dotnet
qishen/fucking-algorithm
刷算法全靠套路，认准 labuladong 就够了！English version supported! Crack LeetCode, not only how, but also why.
qishen/jellyfin-apiclient-python
Python API Client for Jellyfin
qishen/LuminS
A fast and reliable alternative to rsync for synchronizing local files written in Rust
qishen/Model-Extraction
qishen/org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
qishen/P
The P programming language.
qishen/P-Mode-Grouping
Mode group challenge using P programming language and ArduPilot
qishen/PCoreFlightSystem
qishen/rCore-Tutorial-v3
v3.5 https://rcore-os.github.io/rCore-Tutorial-Book-v3/index.html
qishen/rust-evmap
A lock-free, eventually consistent, concurrent multi-value map.
qishen/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
qishen/scryer-prolog
A modern Prolog implementation written mostly in Rust.
qishen/timely-dataflow
A modular implementation of timely dataflow in Rust
qishen/trainbenchmark
The Train Benchmark framework for evaluating incremental model validation performance
qishen/ttc2018liveContest
The repository for the TTC 2018 Live Contest
qishen/ttc2020