TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- tla
- specifications
- model-checking
- verification
Repository Index
71,372 visible repositories in the index
25–48 of 106 · Most stars
An alternative bootstrapper for Roblox with a bunch of extra features.
This is a project designed to help controlling Android MediaPlayer class. It makes it easier to use MediaPlayer ListView and RecyclerView. Also it tracks the most visible item in scrolling list. When new item in the list become the most visible, this library gives an API to track it.
Jetpack Media3 support libraries for media use cases, including ExoPlayer, an extensible media player for Android
- android
- java
- exoplayer
- mediaplayer
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
高度自定义的安卓视频框架 MediaPlayer exoplayer ijkplayer ffmpeg
- jzvd
- jzt
- jiaozi
- videoplayer
Linux daemon for Intel CPU power limits and firmware-induced throttling.
- linux
- cpu-throttling
- intel
- intel-cpu
🎧 mpris media player command-line controller for vlc, mpv, RhythmBox, web browsers, cmus, mpd, spotify and others.
- mpris
- cli
- vlc
- mediaplayer
A CNI meta-plugin for multi-homed pods in Kubernetes
- vnf
- cni
- multiple-network
- containerized-vnf
A Mapbox react native module for creating custom maps
- mapbox
- react-native
- mapbox-gl-native
- map
Vector and raster maps with GL styles. Server side rendering by MapLibre GL Native. Map tile server for MapLibre GL JS, Android, iOS, Leaflet, OpenLayers, GIS via WMTS, etc.
- tileserver
- wmts
- raster-map
- docker
The basic library of Android player will process complex business components. The access is simple。Android播放器基础库，专注于播放视图组件的高复用性和组件间的低耦合，轻松处理复杂业务。
A Modular and Multi-Modal Mapping Framework
- mapping
- slam
- not-matlab
MediaPlayer、Exoplayer音乐播放器，可播在线音乐，qq音乐，百度音乐，虾米音乐，网易云音乐，YouTuBe
- netease
- xiami
- baidu
- music
🚀 SQL Server automation and instance migrations have never been safer, faster or freer
- powershell
- sql-server
- database-administration
- best-practices
The repository host gives no description.
Fladder - A cross-platform Jellyfin Frontend built on top of Flutter.
Arduino STM32. Hardware files to support STM32 boards, on Arduino IDE 1.8.x including LeafLabs Maple and other generic STM32F103 boards
An open source visual editor for the 'MapLibre Style Specification'
- maps
- cartography
- mapping
- vector-tiles
Maps and turn-by-turn navigation for Android without Google Play Services: the best of open map data, with Google lookups by choice. Runs on degoogled phones and can avoid Flock cameras
- android
- degoogle
- degoogled
- foss
iOS VideoPlayer MediaPlayer video player media player 短视频播放器 可接入 ijkplayer aliplayer alivodplayer plplayer
- videoplayer
- video-player
- generate-gif
- avplayer
A fast and extensible gapless AudioPlayer/AudioStreamer for OSX and iOS (iPhone, iPad)
A TOML toolkit written in Rust
- toml
- toml-parser
- rust
- analyzer
JetBrains Maple Mono: The free and open-source font fused with JetBrains Mono & Maple Mono
- font
- fusion
- jetbrains-mono
- jetbrainsmaplemono