We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
Last Update: 20.07.2010 - Rev: 1.0 This Java Class, provids an simple interface to mount afp and smb volumes on OSX and Windows. Mounting smb (samba) and afp (AppleFileProtocol) volumes of a server with Java-code isn't complicated, but a bit tricky. This class provides a simple method to mount volumes on OSX at the moment. We hope to find someone, who can do the implementation for Windows. Example to use the VolumeMounter Class: \t\tnew VolumeMounter().mount("afp:/Lastname, Firstname:Password@fi
ArchitectureFormat:linear raw PCM audio Referencing installed filters:git style, e.g. "afp reverb", "afp delay" possibly JSON config file mapping filter names to executables? Headers:define very simple v1 header, with "extra_data" pointer & "total_header_size" int all v1-compliant filters will simply pass the entire header data through newer filters complying with the hypothetical v2 header will be able to use them in cooperation w/ older filters & while still taking advantage of v2 features
atv2xmlThis project is a Perl-based TV & Movie scraper designed to create XML Metadata files used by ATVFiles. Initial support has been added to support the output of XBMC .nfo files as well. Please let me know if you would like to contribute changes or help with this project. RequirementsA jailbroken Apple TV (see atvusb-creator to do this and make sure you also install Software Menu). Use Software Menu to install NitoTV and ATVFiles. Run NitoTV Smart Installer to provide the ability to mount S
Jaffer is a Java implementation of an Appletalk File Server over TCP. Jaffer is concerned with the latest AFP specifications and supporting OS X and OS 9 clients. It is mainly focused on a tight, clean, fast codebase that is very portable and embeddable