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
Repository Index
47,133 repositories indexed
3,073–3,096 of 3,398 · Most stars
Quick Demo for setting up a Babylon.js real time video processing in a web page.
Describe crystal-lang JSON serializable types with JSON Schema
Extracts a single frame from a video.
- ffmpeg
- fluent-ffmpeg
- screenshot
Upkeep — an AI audit crew for your repo. Catches docs/spec/asset drift with evidence; output-only. Claude Code plugin/skill + reusable CI workflow.
An Elixir library for converting from and to arbitrary bases.
- elixir
- base-conversion
Ductile DB is a graph database based on Hadoop/HBase which provides a vast set of features.
Tensorflow Implementation of "Generating Videos with Scene Dynamics"
Color Mixer game in Flame engine
Catalog of C++ conferences worldwide
- conferences
- cpp
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
A package that provide many helpful methods for working with rest api.
A type provider for Microsoft Dynamics CRM 2011.
Mito mixin class for file management outside of RDBMS
A Vapor 3 library for validating Google reCAPTCHA submissions
- vapor-provider
- recaptcha
- vapor3
This Symfony bundle provides the use of Zend Queue from Zend Framework
photo slideshow effect
Magento 2 Italian Language Pack is special gift for Magento 2 Community Edition. The data of the translation is supplied by Magento 2 Translation Project of Crowdin site, on which you will contribute into the project and download the zip file to install on your own store. This knowledge base will include full of the clear guides that supports you to convert the default language (English) into Italian language on your entire store.
A curated list of delightful Salesforce Articles/Webinar/Videos and Blogs
Java framework to write tests for your dApps and other smart contracts on Waves blockchain
- wavesplatform
- waves
- blockchain
- smart-contracts
👥 Custom node-steam handler which provides group functions
hnswlib.rb provides Ruby bindings for Hnswlib
- ruby
- gem
- nearest-neighbor-search
- approximate-nearest-neighbor-search
Light Object-Relational Environment (LORE) provides a simple and lightweight pseudo-ORM/pseudo-struct-mapping environment for Go
AS3/Erlang implementation of the Croquet project's TeaTime protocol. Provides a simple framework for creating distributed, multi-user flash applications.