Patrick Massot (PatrickMassot)

PatrickMassot

Geek Repo

Location:Paris

Github PK Tool:Github PK Tool


Organizations
leanprover-community

Patrick Massot's repositories

mathjax-node-page

mathjax-node for pages

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pyan

pyan is a Python module that performs static analysis of Python code to determine a call dependency graph between functions and methods. This is different from running the code and seeing which functions are called and how often; there are various tools that will generate a call graph in that way, usually using debugger or profiling trace hooks - for example: https://pycallgraph.readthedocs.org/ This code was originally written by Edmund Horner, and then modified by Juha Jeronen. See README for the original blog posts and links to their repositories.

Language:PythonLicense:GPL-2.0Stargazers:0Issues:0Issues:0

tikzcdedit

Small javascript frontend to tikz-cd

Language:HTMLLicense:GPL-3.0Stargazers:5Issues:0Issues:0

mantisbt

Mantis Bug Tracker (MantisBT)

Language:PHPStargazers:0Issues:0Issues:0

pytest-bdd

BDD library for the py.test runner

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

staticjinja

Effortlessly deploy static sites.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

easywatch

Dead-simple way to watch a directory.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0