The Wayback Machine - https://web.archive.org/web/20201217013639/https://github.com/stanislaw
Skip to content
Avatar
  • Block or report user

    Block or report stanislaw

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
187 followers · 7 following · 2k

Highlights

  • Arctic Code Vault Contributor

Organizations

@mull-project @doorstop-dev

Pinned

  1. mull-project/mull

    Practical mutation testing tool for C and C++

    C++ 512 57

  2. awesome-safety-critical

    List of resources about programming practices for writing safety-critical software.

    Makefile 1.4k 77

  3. strictdoc-project/strictdoc

    Software for writing technical requirements and specifications.

    Python 3

  4. SoftwareDesignHeuristics

    Heuristics for Software Design, Development and Testing (and Maintenance Programming).

    79 6

  5. mull-project/FileCheck.py

    Attempt to reimplement LLVM's FileCheck using Python.

    Python 6 2

  6. berlin-software-verification-meetup

    Berlin Software Verification Meetup (Berlin, but online meetups are also planned, see the Program).

    Coq 6 1

1,303 contributions in the last year

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

Contribution activity

December 2020

Created 11 commits in 2 repositories
Opened 1 pull request in 1 repository
strictdoc-project/strictdoc
1 merged
Reviewed 1 pull request in 1 repository
strictdoc-project/strictdoc 1 pull request
Opened 3 issues in 1 repository
You can’t perform that action at this time.