qishen's repositories
hexo-deployer-pinata
IPFS and Pinata deployer plugin for Hexo
ardupilot
ArduPlane, ArduCopter, ArduRover, ArduSub source
ArduPilot-Modes
Ardupilot applications that use modes and mode-grouping
cFS
The Core Flight System (cFS)
cmu-soda.github.io
Soda lab website
differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
differential-datalog
An incremental programming language
differential-formula
Formal Modeling Using Logic Programming and Analysis
droneDSL
Domain Specific Language for drone automated flight mission
fucking-algorithm
刷算法全靠套路，认准 labuladong 就够了！English version supported! Crack LeetCode, not only how, but also why.
graph-map
A library for working with mmap'd graph data
jellyfin-apiclient-python
Python API Client for Jellyfin
LuminS
A fast and reliable alternative to rsync for synchronizing local files written in Rust
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.
P
The P programming language.
P-Mode-Grouping
Mode group challenge using P programming language and ArduPilot
rCore-Tutorial-v3
v3.5 https://rcore-os.github.io/rCore-Tutorial-Book-v3/index.html
rust-evmap
A lock-free, eventually consistent, concurrent multi-value map.
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
synth-loop-free-prog
Synthesis of Loop-free Programs in Rust
timely-dataflow
A modular implementation of timely dataflow in Rust
trainbenchmark
The Train Benchmark framework for evaluating incremental model validation performance
ttc2018liveContest
The repository for the TTC 2018 Live Contest
ttc2019-live
Live contest for TTC2019: BibtexXML to Docbook consistency
ttc2020-ocl2sql
TTC 2020 OCL2SQL case materials