A model checker for Rust programs.
- rust
- model-checking
- verification
Repository Index
86,576 visible repositories in the index
1,753–1,776 of 7,655 · Most stars
In-place tweak injection with insert_dylib and ChOma.
- dylib
- dylib-injection
- trollstore
- jailbreak
An async Python micro framework for building web applications.
- asyncio
- python
- asgi
- flask
The file-based CMS for your Nuxt application, powered by Markdown and Vue components.
The easiest way to create web applications with Go
✦ Gemini ➜ OpenAI API proxy. Serverless!
- chatgpt-api
- gemini-ai
- openai
- proxy
The repository host gives no description.
Open Source toolpath generator for 3D printers
- 3d-printing
- cam
- digital-fabrication
- 3d-printer
Flask user session management.
- authentication
- login-system
- session-management
Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.
- rust
- linux
- thread-per-core
- iouring
Infrared remote library for ESP8266/ESP32: send and receive infrared signals with multiple protocols. Based on: https://github.com/shirriff/Arduino-IRremote/
- protocols
- arduino-ide
- infrared
- airconditioners
A node.js library for testing modern web applications
- testing-tools
- headless
- headless-browsers
- headless-chrome
Import a 3D Model and automatically assign and export animations
深度学习入门课、资深课、特色课、学术案例、产业实践案例、深度学习知识百科及面试题库The course, case and knowledge of Deep Learning and AI
- cnn
- rnn
- detection
- classification
This recipe is dedicated to helping you make the best possible pizza dough for Neapolitan pizza.
- cooking
- pizza
- recipe
- baking
A Prometheus exporter that exposes Windows system and application metrics.
Progress indicators and spinners for React Native
A distributed MQTT message broker based on Erlang/OTP. Built for high quality & Industrial use cases. The VerneMQ mission is active & the project maintained. Thank you for your support!
- mqtt
- m2m
- scalable
- broker
WebApps in pure Python. No JavaScript, HTML and CSS needed
Open-source Infrastructure as Code (IaC) orchestration platform: GitOps workflows, orchestration, code generation, observability, drift detection, asset management, policies, Slack notifications, and more. Integrates with Terraform, OpenTofu, Terragrunt, Kubernetes, GitHub Actions, GitLab CI/CD, BitBucket Pipelines, and any other CI/CD platform.
Google Reader inspired self-hosted personal RSS reader.
- rss-reader
- java
- self-hosted
- web-application
Build desktop applications in Go and HTML.
- chromium
- dock-icon
- desktop-application
- desktop-notifications
Next generation noIM application in your own workspace, not only another Slack/Discord/Rocket.chat
⚡️Curated list of resources for the development and applications of blockchain.
- ethereum
- bitcoin
- blockchain
- fabric