openhub.net Black Duck Software, Inc.

Follow @

OH
Sign In
Join Now

Projects
People
Organizations
Tools
Blog
BDSA

People
Projects
Organizations
Forums

lekernel

Contributions

Analyzed 5 minutes ago

Project leader

871 Commits in mostly coq

Analyzed about 1 hour ago. based on code collected 1 day ago.

Account Summary

Stacks
Widgets
Managed Projects

Contributions

Contributions
Languages

Recognition

Kudos

Usage

Website Edits
Posts
Reviews

ABOUT BLACK DUCK

Application Security Testing

Application Security Services

AppSec Program Development

ABOUT OPEN HUB

Open Hub UI Source Code

^© 2025 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