Dominik Gabi's repositories
divide-and-conquer-scoop
A framework for divide and conquer algorithms using SCOOP
sublist-proof
Implementation and proof of a recursive longest common substring algorithm
Fixit
Fixit is a Python Lint Framework based on LibCST. It comes with useful default lint rules for coding convention, performance and security issues. It makes custom lint rule easy to build, test and configure. It empowers lint rule to provide autofix to fix the issues for developers. It also provide tools to run autofix across codebase to fix existing issues and automatically insert lint-fixme comments to silent existing violation. Fixit integrates with Flake8 and it adds the above mentioned enhancements to it.
LibCST
A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree
ogldev
OpenGL tutorials
peps
Python Enhancement Proposals
pyre-check
Performant type-checking for python.
rpc_parallel
Type-safe library for building parallel applications, built on top of Async's Rpc module.
typeshed
Collection of library stubs for Python, with static types
typing
Work related to PEP 484: typing.py (released via PyPI) and issue tracker
xctool
xctool is a replacement for Apple's xcodebuild that makes it easier to build and test iOS and Mac projects.