Search Results for "open office objects"
Sort By:
2 projects for "open office objects" with 2 filters applied:
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
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
1loc
What's your favorite JavaScript single LOC (line of code)?
1loc is a community-maintained collection of useful JavaScript operations expressed as a single line of code. Each entry demonstrates a compact solution to a focused programming task. The collection is designed for quick reference, learning, and discovering language techniques that may simplify everyday scripts. Topics span arrays, objects, strings, dates, browser behavior, validation, and other common utilities. Examples are stored as individual Markdown files, making the repository easy to... -
2
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...
- Previous
- You're on page 1
- Next
