Search Results for "code share"
Sort By:
Showing 3 open source projects for "code share"
View related business solutions-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
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
The ATS PL System
Unleashing the potentials of types and templates
The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof. -
2
This is a reprository of software I have written. It is written in C, C++ and hopefully in some obscure Basic :-) I gladly share my stuff with you under the MIT license, so you can do what you want with it (almost)... :-)
-
3
The Doodle project aims to provide a language to easily describe Origami diagrams and produces a ready-to-print document. Doodle will free creators from diagramming constraints and increase their capability to share their creations.
- Previous
- You're on page 1
- Next
