Interactive Coq Proofs in Vim
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
Let's make a SQL parser so we can provide a familiar interface to non-sql datastores!
CLI utility and Python module for analyzing log files and other data.
- log-analysis
- log-parser
- cli
- security
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
Jupyter kernel for Coq
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl