Search Results for "x11 source"
Sort By:
Showing 12 open source projects for "x11 source"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
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
Doxygen is a JavaDoc like documentation system for C++, C, Java and IDL.
-
2
CatMDEdit is a metadata editor tool for describing resources, mainly geographic information. Developed by IAAA (University of Zaragoza) and GeoSpatiumLab S.L., sponsored by IGN Spain. Technical details: Java, XML, multiplatform, multilingual.
-
3
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. -
4
Timemine is a graphical desktop front to add and edit time entries in the project management tool Redmine [http://www.redmine.org]. Timemine show a daily view of the time entries for the logged in user and a summary for each day in a tree view.
-
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.
-
5
Objetivo de disseminar conhecimentos das diversas áreas de saber que envolvem o desenvolvimento de jogos independente de plataforma. The objective to spread diverse knowledge of areas to know that to involve the independent development of platform games
-
6
HelpSetMaker - tool for creating structured online help and other help documents. Specially suited for the JavaHelp system. Creates JavaHelp HelpSets, HTML4 webpages and LaTeX source code. Written completely in Java, runs on any Java2-capable platform
-
7
<b>JAVA LOGGING API that targets:<br> - Simplicity (1 line to init & log, no external objects)<br> - Maintability (auto monthly & yearly archives)<br> - Performance (bckg min priority thread pool)<br> - Extensibility (simple design)<br> Try it!</b>
-
8
-
9
The Docbook Plugin for Eclipse will allow generating documents within Eclipse IDE environment to various file formats that docbook supports using docbook xsl. Possible future enhancements could include support for docbook dsssl and apache's FOP support.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
A group of shared development tools using GTK or Java interfaces for creation of open source projects or software development education.
-
11
-
12
The Java Elucidator provides support for production of internal documentation following the Elucidative programming paradigm. Documentation and source code are kept seperate, but interlinked through mutual navigation in a two-frame online layout.
- Previous
- You're on page 1
- Next
