Micropython driver for ultrasonic sensor HC-SR04
Repository Index
47,133 repositories indexed
2,761–2,784 of 4,176 · Most stars
The Uno Platform Gallery application
- uno
- uno-platform
- webassembly
- wasm
Translated闪猫造物 (Flashcat Creations) Flashduck — an open-source ESP32-S3 desktop duck robot with six servos, a single animated eye, wide-stance walking and two interaction systems (voice assistant / DuckClaw local agent).
Centreon is a network, system and application monitoring tool. Centreon is the only AIOps Platform Providing Holistic Visibility to Complex IT Workflows from Cloud to Edge.
Sparse matrix formats for linear algebra supporting scientific and machine learning applications
- go
- golang
- matrix
- scientific-computing
Utility that exposes the expiry of TLS certificates as Prometheus metrics
TranslatedStructure animations of the 64 hexagrams of the I Ching (《易经》) · I Ching 64 Hexagrams motion graphics, made entirely with code (Remotion + React)
- chinese-culture
- data-visualization
- hexagram
- i-ching
The repository host gives no description.
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
thin layer over native 'vim.pack`, adding support for lazy-loading and lazy.nvim specs
- neovim
- neovim-plugin
- neovim-plugin-lua
- neovim-plugins
Whole-body motion tracking for the Unitree G1 in about 3 minutes on one GPU.
- humanoid-robotics
- lafan1
- mjlab
- motion-tracking
Mount Unix system into Common Lisp image
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
The repository host gives no description.
- webcompiler
- dotnet
- cross-platform
- scss
Enterprise-grade 2D graphics library for Go. Pure Go, zero CGO. Part of GoGPU ecosystem.
- 2d-graphics
- creative-coding
- drawing
- go
A simple networked physics demo for the Godot engine using state synchronization and UDP
DeepWrite AI is Made with the Help of ChatGPT3 and Specific Model is Prepared for Generating Perfect Blog Post with atmost Clarity. This is Just the Version 1.0 More Improvement Will be Implemented.
Self-hosted photovoltaic dashboard for monitoring solar production, consumption, battery usage, grid exchange, and financial performance.
- photovoltaic
- photovoltaics
- photovoltaics-dashboard
- influxdb
TranslatedA manga production tool for Codex that takes you from the source material through script, image generation, typesetting, and PDF output
Install R packages from snapshots on checkpoint-server
A Dart library containing convenient extension methods on basic Dart objects.
Rust + Yew + Axum + Tauri + Tailwindcss, full-stack Rust development for Desktop apps.
Material Design Color Palette: LESS/CSS toolkit
Obsidian theme in the style of Gnome Adwaita