Search Results for "code share"
Sort By:
3 projects for "code share" with 2 filters applied:
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
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.
-
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
