Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Repository Index
62,771 visible repositories in the index
38,785–38,808 of 47,199 · Most stars
Dropwizard bundle that enables building SOAP web services and clients using JAX-WS API
Genv is a library for Go (golang) that makes it easy to read and use environment variables in your projects. It also allows environment variables to be loaded from the .env file.
- environment-variables
- golang
- dotenv
- configuration
HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.
Generate JSON objects with a Builder-style DSL, inspired by jbuilder
- jbuilder
- crystal-lang
- template-engine
- json
JMeter Docker Image for Distributed Testing on EC2 Container Service (ECS)
- jmeter
- ec2
- docker-image
- ecs
A Löve light/shadow library
- love2d
- love2d-framework
- lighting
- dynamic-lighting
Type aware promises for crystal lang
A gem that helps you generate your factory files.
Just A Rust Wasm Blog
A simple save file system for GameMaker
A JavaScript library for launching WebDriver service tunnels.
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
This repository contains a sample showcasing Web APIs with Node.js compared to ASP.NET Core 1.0
JSON-RPC 2.0 library with HTTP and WebSockets support for deno and the browser
- json-rpc2
- deno
- typescript
- fetch
Command line argument parser for Delphi.
- pascal
- delphi
Two-phase (2PC) and three-phase (3PC) protocols implementaion in Golang
- 2pc
- 3pc
- distributed-systems
- two-phase-commit
Enable finding all documents that have been published by a given publication
Fast lossless JSON parse event streaming, in JavaScript.
Compile-Time Parser Generator in D programming language.
Clean boilerplate for graphql services, wasm/yew frontend, handlebars frontend. Using tide, rhai, async-graphql, surf, graphql-client, yew, handlebars, jsonwebtoken, and mongodb.
- tide
- mongodb
- async-graphql
- rust
Quickly add co-authors to commits 💻🪄
A CakePHP plugin with I18n related tools.
A Meteor and RethinkDB Example Using GraphQL