Search Results for "set"
Sort By:
Showing 6 open source projects for "set"
View related business solutions-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
1
DownSmith Markdown Editor
A powerful, feature-rich Markdown editor with real-time HTML preview.
DownSmith provides an intuitive editing experience with comprehensive formatting tools, syntax highlighting, live preview, table creation, spell checking, footnotes, HTML export, and intelligent image handling. Runs without Java being installed on Windows. On macOS and Linux requires Java 11 or better installed. A Java 8 version is provided that has all the functionality of the Java 11 version except footnotes. -
2
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
3
The name stands for "General Purpose Abstraction Layer". GPAL is a set of C++ classes which are used to represent any kind of data and to manipulate them. Thanks to SWIG, it is usable in many programming languages.
-
4
The Maven JSTools Plugin provides a Maven interface to a set of JavaScript reporting and documentation tools like JSDoc Toolkit and JSLint, along a simple approach for building JS artifacts and use them as dependencies in your Maven-based projects.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
Configuration Repository System is a set applications and tooling to centralize configurations for applications.
-
6
WOJ is a set of services providing access to projects documentations & sample source source code without any settings to your IDE.
- Previous
- You're on page 1
- Next