Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Repository Index
70,234 visible repositories in the index
2,281–2,304 of 2,834 · Most stars
Yet another routes handling utility on top of Hunchentoot
git checkout for releases that span many repos. Version tags that restore your whole product. No server, no database, any language.
A python3 library for performing an enhanced scapy Multi-Traceroute (MTR) with resulting SVG visual.
:memo: Godot template with code formatting, license tracking & CI/CD
- github-action
- godot
- godot-template
- pre-commit
Easily create forms with client side validations.
- ember-addon
- validations
- ember-changeset
- forms
Handles sessions for Ruby web applications using DynamoDB as a backend.
Serve up custom 404 and server error pages for your Vapor App
- leaf
- vapor
- brokenhands
- swift
Proper error handling, exceptions and try/catch for ZSH
- zsh
- zsh-plugin
- zsh-plugins
- exception-handler
Redspot is an Substrate pallet-contracts (ink!) development environment. Compile your contracts and run them on a different networks. Redspot's core forks from Hardhat but changed a lot to suit substrate.
A flexible and general-purpose ngrams library written in Ruby. Raingrams supports ngram sizes greater than 1, text/non-text grams, multiple parsing styles and open/closed vocabulary models.
- ruby
- ngrams
Vuldroid is a Vulnerable Android Application made with security issues in order to demonstrate how they can occur in code
- android-application
- webview-xss
- application-security
- vulnerable-application
Simple demo of filtering signal with an LPF and plotting its Short-Time Fourier Transform (STFT) and Laplace transform, in Python.
- stft
- hanning-window
- laplace-transform
- fft
A Neovim plugin which enhances gf/gF/gx with look-ahead and smarter file, line/column number, and link resolution. Also provides visual targets for files/links, new motion commands, and link description retrieval.
- lua
- navigation
- neovim
- neovim-plugin
Transit Integrated Data Exchange Specification for historical transit operations data
- transit
- open-standards
Small Neovim configuration written in Lua that is specifically designed for web development.
- neovim
- neovim-config
- neovim-configuration
- vim
Simple and easy retry mechanism package for Go
- goretry
- retry-go
- retry-mechanism
- retry
RabbitMQ driver for Delphi
A Node.js CLI for displaying stock exchange quotes
Amazon ElastiCache Cluster Client is an enhanced PHP library to connect to ElastiCache clusters. This client library has been built upon libmemcached and is released under the Apache License.
a tool for handling file uploads simple
- file
- upload
- multipart
- http
A small, hacky KDED module for handling automatic screen rotation on tablets and hybrid laptops.
Hide secrets like API keys, passwords and tokens in Neovim while screen sharing or streaming. Masks .env, JSON, YAML, TOML, XML, .http, Terraform/HCL and Dockerfiles with extmarks, without changing the file. Presentation mode, screen shield, picker and terminal masking.
Channelstream is a websocket communication server for web applications
- gevent
- python
- javascript
- websockets