Submit Sign Up Sign In

sigurdschneider

sigurdschneider

👤 Developer

1 repository on SrcLog

1 Repos

55 Stars

2 Forks

55 Watchers

Repositories (1)

lvc sigurdschneider/lvc Coq

LVC verified compiler

Discover the most popular open-source projects on GitHub, organised by topic, language, and community traction. Updated daily.

Explore

Home
Search repositories
Submit a repository
Sitemap

Company

About SrcLog
Valuation Methodology
Contact Us

Legal

DMCA Policy
Removal Requests

Stats

375,825 repositories
435 topics
Updated daily

© 2026 SrcLog.com — All rights reserved. Not affiliated with GitHub, Inc. Data sourced from the GitHub public API