The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Repository Index
47,133 repositories indexed
1,945–1,968 of 2,439 · Most stars
Instantiate the server with node-red
- iobroker
- node-red
- smarthome
A versatile, fully open-source pipeline to extract phenotypic measurements from plant images
- deep-learning
- plant-phenotyping
- nextflow
- scikit-image
CouchDB adapter for Kitura
- kitura
- couchdb
- couchdb-client
- cloudant
Web Service/ API for Alexa and Google Home Node-RED Smart Home Control
- node-red
- alexa-skill
- home-automation
- alexa-custom-skill
A plugin to add "register" and "unregister" capabilities to Vagrant guests.
An api framework with type-safe params, elegant json serializer. Thanks for enjoying it! 👻👻 https://runcobo.github.io/docs/
- crystal
- webframework
- microservice
- api
A Crystal shard to generate YouTube-like hashes from one or many numbers. Use hashids when you do not want to expose your database ids to the user.
- hashids
- salt
- decoding
- encoding
A powerful library extending VBA with over 100 functions for math, stats, finance, and data manipulation. It supports matrix operations, and user-defined functions, enhancing automation and analysis within Microsoft Office and LibreOffice environments for data management, financial calculations, an more.
- equation-systems
- mathematical-expression-parser
- mathematical-expressions-evaluator
- determinant-calculation
Transpiling fortran code to golang code
- transpile
- f4go
- fortran
- golang
A performant cache for logging systems. CacheAdvance persists log events 30x faster than SQLite.
A Framer module for generating accurate, customizable status bars for iOS app prototypes.
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
A golang URL Shortener
- url-shortener
- golang
- bijective
Golang port of Petrovich - an inflector for Russian anthroponyms.
The most powerful, high performing and highly polished Z-Wave node for Node-RED based on Z-Wave JS. If you want a fully featured Z-Wave framework in your Node-RED instance, you have found it.
- zwave
- zwave-js
- controller
- smart
xkcd.com API client in Go
Retrieve the dominant color of a PNG or JPEG image
A Go toolkit for building AI agents and applications across multiple providers. Unified LLM client, agent framework with handoffs, tool calling, streaming, structured output, MCP integration, and cost tracking.
- ai
- golang
- llm
- structured-output
Fast and flexible serialization framework usable on undecorated classes.
Instruct LLMs to do what you want in Ruby
- ai
- gem
- ruby
- rubyml
Antialiased primitives library for GameMaker
- gamemaker
- gamemaker-studio-2
- gms2
- primitive
Expressive assertions for Go. Make your tests readable, elegant, and easy to debug.
- assert
- golang
- library
- tdd
Darkine KDE - Theme for KDE Plasma 5 desktop > Mirror of https://git.rokin.in/Rokin/darkine-kde
- darkine-kde
- darkine
- darkine-theme
- theme