an enumerative reactive synthesis tool for the GR(1) fragment of LTL
OTHER License
A compiler for a simple language, built with Python and LLVM
A python documentation linter which checks that the docstring description matches the definition....
GitPython is a python library used to interact with Git repositories.
A supercharged Git/GitHub command line interface (CLI). An official integration for GitHub and G...
Pygments is a generic syntax highlighter written in Python
Commonly Consumed Code Commodities
A sample project generated by generator-python for Yeoman.
A PR Streamlit template
Python Lex-Yacc
Gaphas is the diagramming widget library for Python.
A Python 3 implementation built on GraalVM
RyuzakiLib is a downloader tool, there are many others
A semantic diff utility and library for tree-like files such as JSON, JSON5, XML, HTML, YAML, and...
Python project template/scaffold and best practices
Source code for Gramps Genealogical program