Various useful scripts for dealing with Coq files
Repository Index
47,133 repositories indexed
42,529–42,552 of 46,381 · Most stars
The Sitemap XML module generates the Sitemap compliant with the schema defined by sitemaps.org and submits it to search engines.
C# Port of the Android Java library AnimatedCircleLoadingView .
async/await extension for Parenscript
- async-await
- common-lisp
- parenscript
The library for on-chain uint256 operations
This repository contains a script to handle the auto creation of a Docker Asset Image for a given Sitecore module
- sitecore
- sitecore-module
- sitecore-10
- sitecore-docker
A plugin for the Kitura-Credentials framework that authenticates using the Google web login
This is a Micropython driver for the VL6180X sensor on the ESP32
Always single line, comment sensitive, indentation preserving commenting.
- comment
- lua
- neovim
- neovim-plugin
GeoJSON Validation Matchers for Jest
Really small ftp server that runs in a thread
A small and simple tool to resolve timestamps to replication numbers used on http://planet.osm.org/replication/ (see http://wiki.openstreetmap.org/wiki/Planet.osm/diffs for mor information)
Sends email from flash using server script or invokes a mailto.
Tools for parse JSON-like logs for collecting unique fields and events
- json
- fields
- go
- golang
Elixir package that applies a function to each document in a BSON file.
- bson
- stream
- hex
- parse
The repository host gives no description.
Gideros GUI framework
The repository host gives no description.
A script to automate tasks when connect a device to your macbook
- amphetamine
- apple
- apple-silicon
- applescript
Select OCaml opam switches via a menu or using a command
- emacs
- proof-general
- ocaml
- opam
LDAP authentication policy for Pyramid
- ldap
- ldap-authentication
- pyramid
- python
Encrypting, pickle-based cookie serializer using PyNaCl
The repository host gives no description.
Database seeder component for Phalcon