proof script associated to tutorial material
Repository Index
47,133 repositories indexed
26,881–26,904 of 30,248 · Most stars
A robust & optimized ES3-compatible polyfill for the `Array.of` method in ECMAScript 6.
preact plugin for socrates.
MicroPython driver for the Aosong DHT12 temperature and humidity sensor
- micropython
- dht12
- dht
- temperature
MicroPython driver for TM1740 8x8 LED matrix modules
- micropython
- tm1640
- wemos-d1-mini
- led-matrix
🔊 Seamlessly integrate sound into your Neovim workflow
A set of applications to analyse, visualize and correct the loudness.
Local-only observability for AI agents on your machine. One timeline across coding and non-coding agents.
- ai-agents
- claude-code
- cli
- cursor
Behind the scene, project based mark management 🪝
.ini parser in Lua
Visual regression testing using Jest, Chromeless and AWS Lambda.
- chromeless
- jest
- react-static
- visual-regression-testing
Data Structures and Algorithms in Swift Playground
Sublime Text support for the V Programming Language
- v
- vlang
- sublime-text
- sublime-syntax
Micropython WiFi AP Captive Portal with DNS and Web Server
Snow Info Widget for Scriptable
- scriptable
- widget
The SamlBundle adds support for SAML 2.0 Service Provider in Symfony.
Standalone Kestrel server
- metrics
- prometheus
- prometheus-client
Update a pinned gist to show your LeetCode stats.
- pinned-gist
- leetcode
- github-actions
- github
oAuth using React+Pocketbase Demo 🎉
- demo
- oauth2
- pocketbase
The Go Tripper package provides functionality for monitoring the status of a circuit. Track success and failure counts, implement circuit breaker patterns, and manage service availability.
- circuit-breaker
- go
- golang
Simple yet customizable timer manager for Neovim
- manager
- neovim
- neovim-plugin
- neovim-plugin-lua
The repository host gives no description.
An AS3 driver for the MySQL open source database.
- mysql-driver
- mysql
- flash
- as3
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis