Search Results for "android program source code" - Page 4
Sort By:
Showing 77 open source projects for "android program source code"
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.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
Leanstral
Open-source code agent designed for Lean 4
Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction... -
2
Ztooly
Ztooly is a comprehensive collection of 50+ free online tools designed
Ztooly is a comprehensive collection of 50+ free online tools designed to boost productivity and simplify everyday tasks. From AI-powered generators to image editing, data conversion, PDF handling, social tools, and more — Ztooly is your all-in-one web toolkit.
