All Projects → go-mtree → Similar Projects or Alternatives

577 Open source projects that are alternatives of or similar to go-mtree

Pyfilesystem2
Python's Filesystem abstraction layer
Stars: ✭ 1,256 (+2183.64%)
Mutual labels:  filesystem, tar
yggdrasil
No description or website provided.
Stars: ✭ 26 (-52.73%)
Mutual labels:  filesystem, verification
ratarmount
Random Access Read-Only Tar Mount
Stars: ✭ 217 (+294.55%)
Mutual labels:  filesystem, tar
Squashfs Tools Ng
A new set of tools and libraries for working with SquashFS images
Stars: ✭ 76 (+38.18%)
Mutual labels:  filesystem, tar
Afs
Abstract File Storage
Stars: ✭ 126 (+129.09%)
Mutual labels:  filesystem, tar
tarfs
An implementation of the FileSystem interface for tar files.
Stars: ✭ 50 (-9.09%)
Mutual labels:  filesystem, tar
steam-ts
Steam integration for TeamSpeak 3
Stars: ✭ 56 (+1.82%)
Mutual labels:  verification
moodle-tool objectfs
Object file storage system for Moodle
Stars: ✭ 61 (+10.91%)
Mutual labels:  filesystem
fs-over-http
A filesystem interface over http, with extras and docker support
Stars: ✭ 14 (-74.55%)
Mutual labels:  filesystem
korefile
File System API for Local/GitHub.
Stars: ✭ 29 (-47.27%)
Mutual labels:  filesystem
checker
Golang parameter validation, which can replace go-playground/validator, includes ncluding Cross Field, Map, Slice and Array diving, provides readable,flexible, configurable validation.
Stars: ✭ 62 (+12.73%)
Mutual labels:  verification
vscode-tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 213 (+287.27%)
Mutual labels:  verification
xxhashdir
⚡Fast filysystem fingerprinting using xxHash
Stars: ✭ 47 (-14.55%)
Mutual labels:  filesystem
ksmbd
ksmbd kernel server(SMB/CIFS server)
Stars: ✭ 98 (+78.18%)
Mutual labels:  filesystem
replace-in-files
Replace text in one or more files or globs.
Stars: ✭ 21 (-61.82%)
Mutual labels:  filesystem
sv-comp
Information to reproduce results from SV-COMP (MOVED, please follow the link)
Stars: ✭ 12 (-78.18%)
Mutual labels:  verification
NeverBounceAPI-PHP
This package provides convenient methods to integrate the NeverBounce API into your project.
Stars: ✭ 22 (-60%)
Mutual labels:  verification
gof
Yet another simple Go filesystem wrapper
Stars: ✭ 13 (-76.36%)
Mutual labels:  filesystem
Rel
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
Stars: ✭ 27 (-50.91%)
Mutual labels:  verification
termy-the-terminal
Web-based terminal powered by React
Stars: ✭ 43 (-21.82%)
Mutual labels:  filesystem
PLzmaSDK
PLzmaSDK is (Portable, Patched, Package, cross-P-latform) Lzma SDK.
Stars: ✭ 28 (-49.09%)
Mutual labels:  tar
yoti-java-sdk
The Java SDK for interacting with the Yoti Platform
Stars: ✭ 13 (-76.36%)
Mutual labels:  verification
SharpPhysFS
Managed wrapper for the PhysFS library
Stars: ✭ 14 (-74.55%)
Mutual labels:  filesystem
VerificationCode
简单的滑动验证码JS插件 图片验证码
Stars: ✭ 15 (-72.73%)
Mutual labels:  verification
ruby-vpi
Ruby interface to IEEE 1364-2005 Verilog VPI
Stars: ✭ 15 (-72.73%)
Mutual labels:  verification
groot
Static verification tool for DNS zone files
Stars: ✭ 60 (+9.09%)
Mutual labels:  verification
ILAng
A Modeling and Verification Platform for SoCs using ILAs
Stars: ✭ 52 (-5.45%)
Mutual labels:  verification
watcher
The file system watcher that strives for perfection, with no native dependencies and optional rename detection support.
Stars: ✭ 37 (-32.73%)
Mutual labels:  filesystem
fs.c
File system API much like Node's fs module (synchronous)
Stars: ✭ 65 (+18.18%)
Mutual labels:  filesystem
DLV
Safety Verification of Deep Neural Networks
Stars: ✭ 45 (-18.18%)
Mutual labels:  verification
ranger-zoxide
Easily jump between common directories in ranger
Stars: ✭ 34 (-38.18%)
Mutual labels:  filesystem
asl
A C++ cross-platform library including JSON, XML, HTTP, Sockets, WebSockets, threads, processes, logs, file system, CSV, INI files, etc.
Stars: ✭ 44 (-20%)
Mutual labels:  filesystem
findlargedir
find all "blackhole" directories with a huge amount of filesystem entries in a flat structure
Stars: ✭ 15 (-72.73%)
Mutual labels:  filesystem
FireFiles
Powerful Android File Manager for everything that runs on Android OS (Android TV, Android Watch, Mobile, etc)
Stars: ✭ 37 (-32.73%)
Mutual labels:  filesystem
kani
Kani Rust Verifier
Stars: ✭ 229 (+316.36%)
Mutual labels:  verification
redis-fs
Mount a Redis database as a filesystem using fuse.
Stars: ✭ 76 (+38.18%)
Mutual labels:  filesystem
DNNV
A Framework for Deep Neural Network Verification
Stars: ✭ 36 (-34.55%)
Mutual labels:  verification
pyftpsync
Synchronize directories using FTP(S), SFTP, or file system access.
Stars: ✭ 85 (+54.55%)
Mutual labels:  filesystem
rcore-fs
The file system module for rCore OS.
Stars: ✭ 38 (-30.91%)
Mutual labels:  filesystem
mongoose-gridfs
mongoose gridfs on top of new gridfs api
Stars: ✭ 79 (+43.64%)
Mutual labels:  filesystem
VerifyBlocksView
Android view for providing blocks (Edit Texts) to achieve verification process.
Stars: ✭ 28 (-49.09%)
Mutual labels:  verification
filesystem picker
FileSystem file or folder picker dialog.
Stars: ✭ 44 (-20%)
Mutual labels:  filesystem
octo-drive
Turn your GitHub repository into encrypted filesystem (=
Stars: ✭ 24 (-56.36%)
Mutual labels:  filesystem
DroidFS
Encrypted overlay filesystems implementation for Android. Also available on gitea: https://forge.chapril.org/hardcoresushi/DroidFS
Stars: ✭ 152 (+176.36%)
Mutual labels:  filesystem
files
Useful methods to manage files and directories
Stars: ✭ 27 (-50.91%)
Mutual labels:  filesystem
anyfs
Portable file system for Node
Stars: ✭ 17 (-69.09%)
Mutual labels:  filesystem
fingerprint
Fingerprint is a simple tool that can be used to verify the contents of a directory.
Stars: ✭ 71 (+29.09%)
Mutual labels:  verification
silver
Definition of the Viper intermediate verification language.
Stars: ✭ 28 (-49.09%)
Mutual labels:  verification
jayhorn
Static checker for Java
Stars: ✭ 54 (-1.82%)
Mutual labels:  verification
acid-store
A library for secure, deduplicated, transactional, and verifiable data storage
Stars: ✭ 48 (-12.73%)
Mutual labels:  filesystem
consul-generator
📦 Creates files from consul keys
Stars: ✭ 15 (-72.73%)
Mutual labels:  filesystem
fphdl
VHDL-2008 Support Library
Stars: ✭ 36 (-34.55%)
Mutual labels:  verification
docteur
An opiniated file-system for MirageOS
Stars: ✭ 16 (-70.91%)
Mutual labels:  filesystem
email-checker
Provides email verification on the go.
Stars: ✭ 116 (+110.91%)
Mutual labels:  verification
SimpleOS
Operating System Coded in Assembly and C
Stars: ✭ 72 (+30.91%)
Mutual labels:  filesystem
parallel-disk-usage
Highly parallelized, blazing fast directory tree analyzer
Stars: ✭ 145 (+163.64%)
Mutual labels:  filesystem
echfs
The echfs filesystem
Stars: ✭ 150 (+172.73%)
Mutual labels:  filesystem
graph-vl
Self hosted identity verification layer with GraphQL.
Stars: ✭ 25 (-54.55%)
Mutual labels:  verification
file management sys
file_management_sys 是一个文件共享系统,包括前端文件展示系统和后台管理系统,基于SpringBoot + MyBatis实现。前端文件展示系统包括文件分类和展示界面,文件搜索和文件上传等模块。后台管理系统包含文件管理,权限管理等模块。
Stars: ✭ 60 (+9.09%)
Mutual labels:  filesystem
TLightFileStream
Implements a lightweight, high-performance, non-allocating advanced-record-based wrapper around the SysUtils file handling routines as an alternative to Classes.TFileStream.
Stars: ✭ 21 (-61.82%)
Mutual labels:  filesystem
1-60 of 577 similar projects