qishen Goto Github PK

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

dataflow-join

An implementation of Ngo et al's GenericJoin in timely dataflow.

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

dress-ml

dronedsl

Domain Specific Language for drone automated flight mission

formula

FORMULA 2.0: Formal Specifications for Verification and Synthesis

formula-dotnet

formula-integration-tool

A set of tools based on Formula Core APIs

fucking-algorithm

刷算法全靠套路，认准 labuladong 就够了！English version supported! Crack LeetCode, not only how, but also why.

ghost-storage

Ghost Blog plugin for cloud storage

graph-map

A library for working with mmap'd graph data

hexo-deployer-pinata

IPFS and Pinata deployer plugin for Hexo

jellyfin-apiclient-python

Python API Client for Jellyfin

kick-me-off

Chrome extension to kick you off selected sites when timer is up.

lumins

A fast and reliable alternative to rsync for synchronizing local files written in Rust

model-extraction

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!

shmup

Multiplayers shooting game with Phaser and Socket.io

synth-loop-free-prog

Synthesis of Loop-free Programs in Rust

timely-dataflow

A modular implementation of timely dataflow in Rust