Search Results for "java" - Page 2
Sort By:
212 projects for "java" with 2 filters applied:
-
Get the most trusted enterprise browserDefend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
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. -
2
GDLEditor
Web-based editor for the Gateway Description Language (GDL).
Web-based editor for the Gateway Description Language (GDL). -
3
SonicReader
Sonicwall Configuration File Reader
SonicReader is used to view and save reports of the internals of a Sonicwall Configuration file. This is useful for those people that wish to know the settings within their saved Sonicwall Configs. I have no affiliation with Dell Sonicwall. Please do not contact Dell Sonicwall regarding the use of this program. -
4
DEFT, the Development Environment For Tutorials, allows you to easily write and maintain tutorials which contain source code examples. If the code you're documenting changes, your examples in the tutorial will change as well.
-
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
-
6
RoboCup GameController is an open source software used in the RoboCup Humanoid League and the Standard Platform League. Referee commands are sent to the robots on the playing field via wireless network to reach a higher autonomy of the players.
-
7
To investigate, describe and develop methods and approaches to generating maps with computers. This is not another GIS project. This one is focused on how to develop programs which make useful end user maps and programs using map backgrounds.
-
8
-
9
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.
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
-
11
NetBeans Dictionaries
Additional dictionary files for the NetBeans spellchecker.
Additional dictionary files for the NetBeans spellchecker. -
12
A revision of the JavaDoc standard doclet for generating Java API documentation in HTML that uses CSS and JavaScript to provide an improved user interface.
-
13
Transliterator between any Language files - Map Fonts, Create Encoding Scheme, Input Phonetic, Indian, Roman, Tamil, Hindi, English, French, German, Spanish or Any World Language Keyboard. Ex: [Phonetic Input]-[Any World Language Output] or ViceVersa.
-
14
OmniHelp is a cross-platform, browser-independent, tri-pane help viewer built in pure JavaScript and CSS with HTML 4. Some functions (such as help embedding) may in the future be in Java, C, or C++; CSH is fully supported. All code is under the LGPL.
-
15
SourceDoc is a powerful system for automatic creation, extraction, and verification of embedded documentation. Designed for C code, it features both a C parser and a preprocessor. The default output format is HTML, but other formats are possible to plug in using a public Java interface.
-
16
DoxMentor4J is a standalone cross platform Web/Ajax based documentation library that is fully searchable and may be hosted in the file system, in an archive or embedded in the Java classpath.
-
17
The PublishedApiDoclet is a javadoc doclet, that acts as a filter in font of a second doclet, that generates output. It selects the methods, fields, classes and packages to be documented using arbitrary tags (i.e. @pad.include-tag or @exclude-tag).
-
18
-
19
-
20
ThManager is a tool for creating and visualizing knowledge organization models, such as thesauri, classification schemes, glosaries and other types of controlled vocabulary in SKOS format
-
21
current build is now 12_8_11: Code reformulation, not only to improve/repair, but also to take into account libraries that I don't release (e.g., the applet one). The Jars are compiled under Sun Windows JVM 1.7.0_1.
-
22
Supa aims to implement an easy way of uploading images from the local clipboard to a remote server. It's our goal to make supa very easy to adapt to other projects.
-
23
Crow is a ASPICE PAM-compliant requirements management and control tool with a special focus on maintaining the bilateral traceability between artifacts (CRS, TRS, architecture, design, code and tests) and tracing the impact of software change requests.
-
24
Calenco is a Web collaborative platform that enable remote teams of writers, proofreader, graphic designers, translators, etc. to produce together XML documents like user guides, security procedures, etc.
-
25
LaTeXTaglet is a javadoc taglet for using LaTeX formula in standard javadoc-generated html documentation.
