Pyfilesystem2Python's Filesystem abstraction layer
Stars: ✭ 1,256 (+2183.64%)
yggdrasilNo description or website provided.
Stars: ✭ 26 (-52.73%)
ratarmountRandom Access Read-Only Tar Mount
Stars: ✭ 217 (+294.55%)
Squashfs Tools NgA new set of tools and libraries for working with SquashFS images
Stars: ✭ 76 (+38.18%)
AfsAbstract File Storage
Stars: ✭ 126 (+129.09%)
tarfsAn implementation of the FileSystem interface for tar files.
Stars: ✭ 50 (-9.09%)
steam-tsSteam integration for TeamSpeak 3
Stars: ✭ 56 (+1.82%)
fs-over-httpA filesystem interface over http, with extras and docker support
Stars: ✭ 14 (-74.55%)
korefileFile System API for Local/GitHub.
Stars: ✭ 29 (-47.27%)
checkerGolang 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%)
vscode-tlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 213 (+287.27%)
xxhashdir⚡Fast filysystem fingerprinting using xxHash
Stars: ✭ 47 (-14.55%)
ksmbdksmbd kernel server(SMB/CIFS server)
Stars: ✭ 98 (+78.18%)
replace-in-filesReplace text in one or more files or globs.
Stars: ✭ 21 (-61.82%)
sv-compInformation to reproduce results from SV-COMP (MOVED, please follow the link)
Stars: ✭ 12 (-78.18%)
NeverBounceAPI-PHPThis package provides convenient methods to integrate the NeverBounce API into your project.
Stars: ✭ 22 (-60%)
gofYet another simple Go filesystem wrapper
Stars: ✭ 13 (-76.36%)
RelBinsec/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%)
PLzmaSDKPLzmaSDK is (Portable, Patched, Package, cross-P-latform) Lzma SDK.
Stars: ✭ 28 (-49.09%)
yoti-java-sdkThe Java SDK for interacting with the Yoti Platform
Stars: ✭ 13 (-76.36%)
SharpPhysFSManaged wrapper for the PhysFS library
Stars: ✭ 14 (-74.55%)
ruby-vpiRuby interface to IEEE 1364-2005 Verilog VPI
Stars: ✭ 15 (-72.73%)
grootStatic verification tool for DNS zone files
Stars: ✭ 60 (+9.09%)
ILAngA Modeling and Verification Platform for SoCs using ILAs
Stars: ✭ 52 (-5.45%)
watcherThe file system watcher that strives for perfection, with no native dependencies and optional rename detection support.
Stars: ✭ 37 (-32.73%)
fs.cFile system API much like Node's fs module (synchronous)
Stars: ✭ 65 (+18.18%)
DLVSafety Verification of Deep Neural Networks
Stars: ✭ 45 (-18.18%)
ranger-zoxideEasily jump between common directories in ranger
Stars: ✭ 34 (-38.18%)
aslA C++ cross-platform library including JSON, XML, HTTP, Sockets, WebSockets, threads, processes, logs, file system, CSV, INI files, etc.
Stars: ✭ 44 (-20%)
findlargedirfind all "blackhole" directories with a huge amount of filesystem entries in a flat structure
Stars: ✭ 15 (-72.73%)
FireFilesPowerful Android File Manager for everything that runs on Android OS (Android TV, Android Watch, Mobile, etc)
Stars: ✭ 37 (-32.73%)
kaniKani Rust Verifier
Stars: ✭ 229 (+316.36%)
redis-fsMount a Redis database as a filesystem using fuse.
Stars: ✭ 76 (+38.18%)
DNNVA Framework for Deep Neural Network Verification
Stars: ✭ 36 (-34.55%)
pyftpsyncSynchronize directories using FTP(S), SFTP, or file system access.
Stars: ✭ 85 (+54.55%)
rcore-fsThe file system module for rCore OS.
Stars: ✭ 38 (-30.91%)
mongoose-gridfsmongoose gridfs on top of new gridfs api
Stars: ✭ 79 (+43.64%)
VerifyBlocksViewAndroid view for providing blocks (Edit Texts) to achieve verification process.
Stars: ✭ 28 (-49.09%)
octo-driveTurn your GitHub repository into encrypted filesystem (=
Stars: ✭ 24 (-56.36%)
DroidFSEncrypted overlay filesystems implementation for Android. Also available on gitea: https://forge.chapril.org/hardcoresushi/DroidFS
Stars: ✭ 152 (+176.36%)
filesUseful methods to manage files and directories
Stars: ✭ 27 (-50.91%)
anyfsPortable file system for Node
Stars: ✭ 17 (-69.09%)
fingerprintFingerprint is a simple tool that can be used to verify the contents of a directory.
Stars: ✭ 71 (+29.09%)
silverDefinition of the Viper intermediate verification language.
Stars: ✭ 28 (-49.09%)
jayhornStatic checker for Java
Stars: ✭ 54 (-1.82%)
acid-storeA library for secure, deduplicated, transactional, and verifiable data storage
Stars: ✭ 48 (-12.73%)
fphdlVHDL-2008 Support Library
Stars: ✭ 36 (-34.55%)
docteurAn opiniated file-system for MirageOS
Stars: ✭ 16 (-70.91%)
email-checkerProvides email verification on the go.
Stars: ✭ 116 (+110.91%)
SimpleOSOperating System Coded in Assembly and C
Stars: ✭ 72 (+30.91%)
parallel-disk-usageHighly parallelized, blazing fast directory tree analyzer
Stars: ✭ 145 (+163.64%)
echfsThe echfs filesystem
Stars: ✭ 150 (+172.73%)
graph-vlSelf hosted identity verification layer with GraphQL.
Stars: ✭ 25 (-54.55%)
file management sysfile_management_sys 是一个文件共享系统,包括前端文件展示系统和后台管理系统,基于SpringBoot + MyBatis实现。前端文件展示系统包括文件分类和展示界面,文件搜索和文件上传等模块。后台管理系统包含文件管理,权限管理等模块。
Stars: ✭ 60 (+9.09%)
TLightFileStreamImplements 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%)