Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Repository Index
47,133 repositories indexed
6,361–6,384 of 8,037 · Most stars
Hide comments, focus on the code flow, and reveal them if needed 🧘
- comments
- lua
- neovim
- neovim-plugin
This repository contains a sample showcasing Web APIs with Node.js compared to ASP.NET Core 1.0
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
Compile-Time Parser Generator in D programming language.
Quickly add co-authors to commits 💻🪄
Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
Retrieve the primary key (including composite keys) from any entity
A blessed fixed greased +3 terminal library
An interactive command-line InfluxDB cli with auto completion.
- influxdb
- cli
- developer-tools
- autocomplete
Simple CSV file parser for the UNIX command line
Web component file viewer
- javascript
- webcomponents
- svelte
- html
Interactive and customizable scroll bar with deceleration and appearing info label during scrolling for Scroll View
- ios
- scroll
- scroll-bar
- scrollbar
Command-line tool for AWS ECS deploys
- ecs-deploy
- ecs
- ecs-cluster
- ecs-service
A Common Lisp library for logging, tracing, testing and persistence
A lightweight, async HTTP client
A package to add protection to Vapor against CSRF attacks.
Cookiecutter template to start a web project.
- common-lisp
- cookiecutter
**DEPRECATED**. Use the native and support library variants instead - https://developer.android.com/guide/topics/ui/look-and-feel/fonts-in-xml.html. An android library that makes it easy to add custom fonts to edittexts and textviews
Work with Amazon S3 and Amazon CloudFront from Common Lisp
Brocade Vyatta Controller Repo
SparkPost client library for Elixir https://developers.sparkpost.com
- elixir
- sparkpost
Compile-time dependency Injection for .Net, Mono, and MonoTouch