Repository Index

A new kind of Progress Bar, with real-time throughput, ETA, and very cool animations!

• progress
• bar
• progress-bar
• progressbar

Python library for creating PEG parsers

• python
• python2
• python3
• python-2

a python refactoring library

• python
• refactoring-tools
• refactoring
• ast

Easy and elegant parser combinators for Python. With awesome docs.

Let's make a SQL parser so we can provide a familiar interface to non-sql datastores!

A TextMate and Sublime Text Bundle for the Elixir programming language

Mock an SSH server and define all commands it supports (Python, Twisted)

• mock
• ssh
• python
• hylang

Stateful Postgres on cheap Spot VMs

• ansible
• aws
• postgres
• self-hosting

Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.

• lisp
• sublime-text
• flex-completion
• repl

Practical security policy enforcement for Android apps via bytecode rewriting and in-place reference monitor

Tool for suggesting lemma names in Coq verification projects

• coq
• machine-learning
• name-generation
• pytorch