Search Results for "sourceforge software tag"
Sort By:
Showing 3 open source projects for "sourceforge software tag"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
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.
-
1
Rome
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory, etc.
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others. Rome is a tool that allows developers on Apple platforms to use Amazon's S3, Minio, Ceph, other S3-compatible object stores or/and a local folder. The Rome binary is also attached as a zip to each release on the releases page here on GitHub. Suppose you're working a number of frameworks for your project and want to share those with your team. A great way to do so is to use Carthage and have team members point... -
2
Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/
-
3
The Glasgow Haskell Compiler is a robust, fully-featured, optimising compiler for the Haskell 98 programming language. Please note, we are no longer using the SourceForge bug tracker. Please go to http://cvs.haskell.org/trac/ghc instead.
- Previous
- You're on page 1
- Next
