openhub.net Black Duck Software, Inc.

Follow @

OH
Sign In
Join Now

Projects
People
Organizations
Tools
Blog
BDSA

People
Projects
Organizations

lekernel

Contributions

Analyzed 2 days ago

Project leader

871 Commits in mostly coq

Analyzed 2 days ago. based on code collected 4 days ago.

Account Summary

Stacks
Widgets
Managed Projects

Contributions

Contributions
Languages

Recognition

Kudos

Usage

Website Edits
Reviews

ABOUT BLACK DUCK

Application Security Testing

Application Security Services

AppSec Program Development

ABOUT OPEN HUB

Open Hub UI Source Code

^© 2026 Black Duck Software, Inc. All Rights Reserved.

This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our Privacy Policy