All Projects → go-mtree → Similar Projects or Alternatives

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

fs.c
File system API much like Node's fs module (synchronous)
Stars: ✭ 65 (+18.18%)
Mutual labels:  filesystem
eldarica
The Eldarica model checker
Stars: ✭ 41 (-25.45%)
Mutual labels:  verification
DLV
Safety Verification of Deep Neural Networks
Stars: ✭ 45 (-18.18%)
Mutual labels:  verification
tonix
Tonix provides basic file system functionality, as well as an interactive shell with a Unix-style command line interface.
Stars: ✭ 20 (-63.64%)
Mutual labels:  filesystem
ranger-zoxide
Easily jump between common directories in ranger
Stars: ✭ 34 (-38.18%)
Mutual labels:  filesystem
woapp
web模拟安卓操作系统,php开发,内置文件管理,电话,短信,拍照,用在树莓派上可做智能家居,视频监控,机顶盒等……
Stars: ✭ 22 (-60%)
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
fuse xattrs
add xattrs support using sidecar files.
Stars: ✭ 28 (-49.09%)
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
PyDFS
Tiny distributed file system like HDFS (and of-course GFS)
Stars: ✭ 68 (+23.64%)
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
loggedfs-python
Filesystem monitoring with Fuse and Python
Stars: ✭ 21 (-61.82%)
Mutual labels:  filesystem
kani
Kani Rust Verifier
Stars: ✭ 229 (+316.36%)
Mutual labels:  verification
SwiftFSWatcher
A simple easy to use / extend File System watcher using Swift
Stars: ✭ 35 (-36.36%)
Mutual labels:  filesystem
redis-fs
Mount a Redis database as a filesystem using fuse.
Stars: ✭ 76 (+38.18%)
Mutual labels:  filesystem
AsyncIO
.NET library for handling asynchronous file system operations
Stars: ✭ 20 (-63.64%)
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
cafeobj
Development of the CafeOBJ interpreter
Stars: ✭ 25 (-54.55%)
Mutual labels:  verification
rcore-fs
The file system module for rCore OS.
Stars: ✭ 38 (-30.91%)
Mutual labels:  filesystem
itree
Interactive tree command for file system navigation
Stars: ✭ 18 (-67.27%)
Mutual labels:  filesystem
mongoose-gridfs
mongoose gridfs on top of new gridfs api
Stars: ✭ 79 (+43.64%)
Mutual labels:  filesystem
tarballjs
Javascript library to create or read tar files in the browser
Stars: ✭ 24 (-56.36%)
Mutual labels:  tar
VerifyBlocksView
Android view for providing blocks (Edit Texts) to achieve verification process.
Stars: ✭ 28 (-49.09%)
Mutual labels:  verification
imgui
Dear ImGui Addons Branch = plain unmodified dear imgui plus some extra addon.
Stars: ✭ 348 (+532.73%)
Mutual labels:  filesystem
filesystem picker
FileSystem file or folder picker dialog.
Stars: ✭ 44 (-20%)
Mutual labels:  filesystem
chicon-rs
A file abstraction system for Rust
Stars: ✭ 55 (+0%)
Mutual labels:  filesystem
octo-drive
Turn your GitHub repository into encrypted filesystem (=
Stars: ✭ 24 (-56.36%)
Mutual labels:  filesystem
go-fsimpl
Go io/fs.FS filesystem implementations for various URL schemes
Stars: ✭ 225 (+309.09%)
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
sandboxed-fs
Sandboxed Wrapper for Node.js File System API
Stars: ✭ 41 (-25.45%)
Mutual labels:  filesystem
files
Useful methods to manage files and directories
Stars: ✭ 27 (-50.91%)
Mutual labels:  filesystem
move
Home of the Move programming language
Stars: ✭ 125 (+127.27%)
Mutual labels:  verification
anyfs
Portable file system for Node
Stars: ✭ 17 (-69.09%)
Mutual labels:  filesystem
VBCorLib
The VBCorLib framework brings many of the powerful .NET classes to VB6.
Stars: ✭ 81 (+47.27%)
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
fastapi-cloudauth
Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).
Stars: ✭ 221 (+301.82%)
Mutual labels:  verification
silver
Definition of the Viper intermediate verification language.
Stars: ✭ 28 (-49.09%)
Mutual labels:  verification
comi
ComiGO:Simple, cross-platform manga reader。简单、跨平台的漫画阅读器。シンプルな漫画リーダー。
Stars: ✭ 34 (-38.18%)
Mutual labels:  tar
ruby-vpi
Ruby interface to IEEE 1364-2005 Verilog VPI
Stars: ✭ 15 (-72.73%)
Mutual labels:  verification
jayhorn
Static checker for Java
Stars: ✭ 54 (-1.82%)
Mutual labels:  verification
munta
Fully verified model checker for realtime systems
Stars: ✭ 14 (-74.55%)
Mutual labels:  verification
acid-store
A library for secure, deduplicated, transactional, and verifiable data storage
Stars: ✭ 48 (-12.73%)
Mutual labels:  filesystem
in3-legacy
[Deprecated] Typescript-version of the IN3 client.
Stars: ✭ 69 (+25.45%)
Mutual labels:  verification
consul-generator
📦 Creates files from consul keys
Stars: ✭ 15 (-72.73%)
Mutual labels:  filesystem
ansible-role-glusterfs
Ansible Role - GlusterFS
Stars: ✭ 95 (+72.73%)
Mutual labels:  filesystem
fphdl
VHDL-2008 Support Library
Stars: ✭ 36 (-34.55%)
Mutual labels:  verification
gcsfs
Google Cloud Storage filesystem for PyFilesystem2
Stars: ✭ 36 (-34.55%)
Mutual labels:  filesystem
docteur
An opiniated file-system for MirageOS
Stars: ✭ 16 (-70.91%)
Mutual labels:  filesystem
apfs
Package apfs implements an Apple File System(apfs) bindings for Go
Stars: ✭ 30 (-45.45%)
Mutual labels:  filesystem
SimpleOS
Operating System Coded in Assembly and C
Stars: ✭ 72 (+30.91%)
Mutual labels:  filesystem
cache
🥌 Deno cache library
Stars: ✭ 38 (-30.91%)
Mutual labels:  filesystem
parallel-disk-usage
Highly parallelized, blazing fast directory tree analyzer
Stars: ✭ 145 (+163.64%)
Mutual labels:  filesystem
toolkit
some useful library of the php
Stars: ✭ 15 (-72.73%)
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
SwiftyCodeView
Fully customizable UI Component for verification codes written in swift with RxSwift support!
Stars: ✭ 86 (+56.36%)
Mutual labels:  verification
amcheck
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
Stars: ✭ 74 (+34.55%)
Mutual labels:  verification
file management sys
file_management_sys 是一个文件共享系统,包括前端文件展示系统和后台管理系统,基于SpringBoot + MyBatis实现。前端文件展示系统包括文件分类和展示界面,文件搜索和文件上传等模块。后台管理系统包含文件管理,权限管理等模块。
Stars: ✭ 60 (+9.09%)
Mutual labels:  filesystem
aeon
AEON is an In-place file system designed for non-volatile memories.
Stars: ✭ 13 (-76.36%)
Mutual labels:  filesystem
uncompress.js
Uncompress ZIP, RAR, and TAR files with pure JavaScript
Stars: ✭ 79 (+43.64%)
Mutual labels:  tar
61-120 of 577 similar projects