The Wayback Machine - https://web.archive.org/web/20200828020907/https://github.com/ligurio
Skip to content
Avatar
💭
make test
💭
make test
231 followers · 404 following · 2.9k

Highlights

  • Arctic Code Vault Contributor

Organizations

@tarantool @sqaunderhood

Pinned

  1. shaman-scheduler/testres-db

    is a tool to import test results to an SQLite database

    Go 2 1

  2. packetdrill-testcases

    packetdrill testcases for network regression testing

    Python 3

  3. lark-grammars

    Grammars suitable for lark parser and Hypothesis

    Python 7 2

  4. practical-fm

    A gently curated list of companies using verification formal methods in industry

    229 22

621 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

August 2020

Created an issue in jgm/pandoc that received 2 comments

Support IPython Notebook as output format

It would be nice to support IPython notebook format as output format for markdown. Description of format: https://nbformat.readthedocs.io/en/latest/

2 comments
You can’t perform that action at this time.