Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Fscq

FSCQ is a certified file system written and proven in Coq
Stars
220
License
other
Open Issues
5
Most Recent Commit
2 years ago
Programming Language
Coq
Categories
Repo
Alternatives To Fscq
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Fscq220
2 years ago5otherCoq
FSCQ is a certified file system written and proven in Coq
Coq Chick Blog169
4 years ago1mitCoq
🐣 A blog engine written and proven in Coq
Alternatives To Fscq
Select To Compare


Suggest An Alternative To fscq
Alternative Project Comparisons
Fscq vs Coq Chick Blog
Popular Coq Projects
Popular Filesystem Projects
Fd ⭐ 30,369
A simple, fast and user-friendly alternative to 'find'
total releases 31latest release October 21, 2023most recent commit 3 months ago
Nnn ⭐ 17,722
n³ The unorthodox terminal file manager
total releases 20latest release July 26, 2022most recent commit 3 months ago
Autojump ⭐ 15,941
A cd command that learns - easily navigate directories from the command line
total releases 1latest release February 27, 2018most recent commit 6 months ago
Zoxide ⭐ 13,264
A smarter cd command. Supports all major shells.
total releases 30latest release August 04, 2023most recent commit 3 months ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Filesystem Fuse
Haskell Coq
Haskell Filesystem
Haskell Fuse

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Filesystem
Fuse
Coq
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.