Search Results for "symbolic"
Sort By:
Showing 3 open source projects for "symbolic"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
La version gratuite d'Auth0 s'enrichit !Vous l'avez demandé, nous l'avons fait ! Les versions gratuite et payante d'Auth0 incluent des options qui vous permettent de développer, déployer et faire évoluer vos applications en toute sécurité. Utilisez Auth0 dès maintenant pour découvrir tous ses avantages.
-
1
FUSE filesystem over Google Drive
FUSE filesystem over Google Drive
google-drive-ocamlfuse is a FUSE-based file system for Google Drive, written in OCaml. It lets you mount your Google Drive on Linux. The project is hosted on GitHub, where you can find the latest development version. Project documentation is hosted in the website. There are Ubuntu packages in this PPA. Read-only access to Google Docs, Sheets, and Slides (exported to configurable formats). Read-ahead buffers when streaming. Accessing content shared with you (requires configuration). Team... -
2
pybag
Crossplatform files synchronization and backup portable tool.
... to the original files with the bag. The synchronization process will only copy changed files. The program is cross-platform and independent from the OS and file system. You may easily synchronize files between Windows and Linux, for example. Symbolic links are supported on all systems (if the OS or file system does not support symlinks, then they are emulated). This program has a GUI and a command line interface. -
3
Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.
- Previous
- You're on page 1
- Next