A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Repository Index
47,133 repositories indexed
289–312 of 366 · Most stars
Apache JMeter plugin for load testing HLS and MPEG-DASH video streams. Simulates adaptive bitrate playback, manifest/segment downloads, and live or VOD streaming.
Pattern matching for the monads in the cats Clojure library
- clojure
- clojurescript
- pattern-matching
Google Adwords API for Go
A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)
- pycom
- micropython
- lopy
- wipy
Easily define multiple function heads in elixir
Monads for Crystal
- monads
- crystal-language
- crystal
Think of it as screen-sharing for AI pair programming, but everyone can type.
An easy utility for responding with standard HTTP/JSON error payloads in Plug- and Phoenix-based applications
Command-line tool for AWS ECS deploys
- ecs-deploy
- ecs
- ecs-cluster
- ecs-service
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
Build and manage data with a spreadsheet-like interface
Which loads env vars from a .env file.
- dotenv
- v-module
- v
- vlang-module
Ectophile is an extension for Ecto models to instantly support file uploads.
An Actionscript 3.0 package to read .xlsx Open XML Excel or Open Office spreadsheets
Elixir library for fetching Google Spreadsheet data in CSV format
Downloads JMeter and JMeter plugins and demonstrates usage via examples. Suggested to be used as a git submodule
Dockable Split-Screen Editors for RAD Studio (Delphi and C++ Builder)
Simple ADSR envelope generator for web audio
Common tools for projects
- cross-platform
- pascal-language
- library
- json
Downloads remote file and stores it in the filesystem
A k6 extension that loads env vars from a .env file.
- xk6
A pure-VBA class that reads, inspects, and exports VBA source code directly from Office binary files
Starter template for a project based on Vulkan Launchpad