FCC China open source codebase and curriculum. Learn to code and help nonprofits.
Repository Index
47,133 repositories indexed
1–17 of 17 · Most stars
TranslatedOne of the few industry-leading, fully self-developed cross-platform (windows/linux/android/iOS) streaming media cores dedicated to an ultimate experience. Through free modular combination, it supports real-time RTMP publishing, RTSP publishing, RTMP player, RTSP player, recording, multi-channel streaming media forwarding, audio/video directing, dynamic video composition, audio mixing, live interaction, a built-in lightweight RTSP service, and more. Faster than fast, a truly reliable ultra-low-latency live streaming SDK in the industry (latency as low as 100~200ms).
- rtmp-pusher
- rtmp-player
- android-rtmp
- ios-rtmp
Model Predictive Contouring Controller (MPCC) for Autonomous Racing
Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support
- embedded-optimization
- nonconvex
- model-predictive-control
- rust-library
CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library
- dbc
- c
- misra
- automotive
Iterative Linear Quadratic Regulator with auto-differentiatiable dynamics models
- trajectory-optimization
- differential-dynamic-programming
- theano
- dynamics-models
A full featured Generic SNMP data collector with Web Administration Interface for InfluxDB
Collapse and expand UICollectionView sections with one method call.
An automatic code generator for nonlinear model predictive control (NMPC) and the continuation/GMRES method (C/GMRES) based numerical solvers for NMPC
- model-predictive-control
- nonlinear-model-predictive-control
- mpc
- nmpc
Fork of https://gitlab.mpcdf.mpg.de/mtr/pocketfft to simplify external contributions
STOMP client for Embarcadero Delphi and FreePascal.
- stomp
- delphi
- activemq
- pascal
Modeling and Proving in Computational Type Theory
Scalable, stateless selenium, playwright, devtools, mpc hub for Kubernetes cluster
ASCII Art Tetris
- z88dk
- game
- ascii-art
- hvdosdev2017
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Go package for sending and receiving SSE (server-sent events)
Gomoku
- dos
- linux
- as400
- zx81