The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Repository Index
47,133 repositories indexed
3,433–3,456 of 4,185 · Most stars
BitBot - An HTML/JS game where you control a bot, which must sense, plan, and act.
A fast, simple, memory-efficient graph layout algorithm for visualizing networks in D3
- javascript
- d3js
- graph
- visualization
A macOS app to visualise your iTunes library as graphs.
- itunes-api
- macos
- cocoa
- visualisation
Phraser is a phrase generator using n-grams and Markov chains to generate phrases for passphrase cracking. The generated phraselists can be used as wordlists in your favourite password cracking application.
Little sweet addition to your WhatsApp Desktop
- whatsapp-desktop
The simplest way to display the librarie's licences used in your application.
A UI toolkit that extends Wagtail's admin list views and allows you to build custom filters, buttons, panels and more
A widget for Wagtail's admin that allows you to create and select related items
:school_satchel: Elm kit is web application boilerplate kit for development. This kit build on Brunch, Node, Sass, Elm-lang. It helps you to start development more productive following best practices.
- elm
- elm-lang
- kit
- brunch
Collect your thoughts and notes without leaving the command line.
RSQueueBundle, a redis-based queue system for your Symfony2 projects
A tool to assist with finding broken links on your wagtail site.
Render a PDF document from your HTML template
A Crystal shard to generate YouTube-like hashes from one or many numbers. Use hashids when you do not want to expose your database ids to the user.
- hashids
- salt
- decoding
- encoding
Search for unused components in your Ember project
A CakePHP plugin which allows you to authenticate using social providers like Facebook/Google/Twitter.
- cakephp-plugin
- social-providers
- middleware
- php
Build optimized Java runtimes in your browser!
Imagine, what if the cure exists? What if zombies plague can be stoped? Explore old, abandoned graveyard, heal as many zombies as you can, and find your way out. But be careful not to become one of them!
A Mac OS X App That Lets You Access iTunes Connect
- ios-developer-tools
- ios
- itunesconnect
The most powerful, high performing and highly polished Z-Wave node for Node-RED based on Z-Wave JS. If you want a fully featured Z-Wave framework in your Node-RED instance, you have found it.
- zwave
- zwave-js
- controller
- smart
A package for sending email from your Pyramid application
Easily dockerize your Git repository
This script takes a file or directory as input, uses GPG AES256 symmetric encryption with the password you provide and adds it to IPFS and returns the IPFS hash.
- ipfs
- cli
- encryption
- ipfs-add