TopGit
GITHUB SNAPSHOT

mit-pdos/fscq

MTopGit repo profile image for mit-pdos/fscq
TopGit repo profile for mit-pdos/fscq, with GitHub repository stats and README context.
Stars
★ 253
Forks
⑂ 24
Language
Coq
Topic
—
License
—
Updated
3.8y ago
Contributors
—
Homepage
—
View on GitHub ↗
QUICK VERDICT

Snapshot of mit-pdos/fscq: 253★, Coq. FSCQ is a certified file system written and proven in Coq

Snapshot summary built from the project's own GitHub metadata — there's no written TopGit review yet. The page will update automatically when a full review is published.

WHY NO REVIEW YET

TopGit writes full reviews for the most-starred, most-requested repositories. This page is a snapshot until then — see the READ ME tab for the original README in full.

Snapshot

Stars★ 253
Forks⑂ 24
LanguageCoq
Topic—
License—
Homepage—

Read our review methodology ↗

Top contributors

Show top contributors
Top 21 contributors to mit-pdos/fscq

Related repositories

codecrafters-io/build-your-own-x

Master programming by recreating your favorite technologies from scratch.

★ 536.9k
sindresorhus/awesome

A curated meta-list of curated lists organized by technology domain. The repository acts as a directory pointing to hundreds of specialized awesome lists covering programming languages, platforms, frameworks, and tooling. All content is community-contributed under the CC0 public domain dedication.

★ 494.1k
public-apis/public-apis

Public APIs is a community-curated GitHub repository listing free, publicly accessible APIs across a wide range of categories, with auth type, HTTPS, and CORS noted for each entry. It's a browsable reference, not a library to install.

★ 464.6k
freeCodeCamp/freeCodeCamp

freeCodeCamp is a free, self-paced curriculum for learning to code, published as open source at freeCodeCamp/freeCodeCamp. It's a 501(c)(3) nonprofit funded by donor support, structured around six certifications in its Full-Stack Developer Curriculum, each gated by required projects instead of open-book quizzes. The repository also carries beta language certifications for developers, interview-prep resources, and the code that runs the live freecodecamp.org platform.

★ 454.3k
FREQUENTLY ASKED

Quick answers

Does mit-pdos/fscq have any tags?

TopGit's last sync did not record any GitHub topics for mit-pdos/fscq. GitHub topics appear in the right sidebar of a repository page; that's the authoritative place to check.

How active is development on mit-pdos/fscq?

The most recent commit recorded on mit-pdos/fscq was 3.8 years ago, based on the GitHub push timestamp. The repository has 24 forks — one of the better signals of community interest.

How many stars does mit-pdos/fscq have?

mit-pdos/fscq has 253 GitHub stars — refresh the page for the live number, or check github.com/mit-pdos/fscq. TopGit mirrors GitHub's count but does not claim minute-by-minute accuracy.

What language is mit-pdos/fscq written in?

mit-pdos/fscq is written primarily in Coq. GitHub's language field is based on the largest share of bytes in the default branch.

Where do I read more about mit-pdos/fscq?

This TopGit page is a snapshot — the READ ME tab shows the project's own README content (links stripped, images preserved). The GitHub repository at github.com/mit-pdos/fscq is the definitive source.

Read full README in the tab above.

Want a second opinion on fscq?

Ask an AI that can read this page — one click and you get its take on fscq.

Ask ChatGPTAsk ClaudeAsk Perplexity
GitHub