Search Results for "theory"
Sort By:
Showing 27 open source projects for "theory"
View related business solutions-
$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.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
-
2
The Chemistry Development Kit (CDK) is a scientific, LGPL-ed library for bio- and cheminformatics and computational chemistry written in Java. The main home page of the CDK is now at: http://cdk.github.io
-
3
Symja Java Computer Algebra
Symja - Java computer algebra language & symbolic math library
Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example -
4
Shadow
Zero reflection fully dynamic Android plugin framework
...Reuse the source code of the independent installation App. The source code of the plug-in App can be installed and run normally. Zero reflection and no Hack implementation of plug-in technology. In theory, it has been determined that there is no need for compatible development of any system, and there is no hidden API call, which does not conflict with Google's strategy of restricting access to non-public SDK interfaces. It is difficult to implement a perfect plug-in framework at one time, but Shadow makes all these implementations dynamic so that the code of the plug-in framework becomes part of the plug-in. -
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
JS-Sorting-Algorithm
A GitBook online book on sorting algorithms
...The repository also includes terminology explanations for concepts like data size, buckets, in-place sorting, out-place sorting, and stability. Overall, it is a compact reference for students and developers who want to review sorting theory and implementation examples. -
6
SpringAll
Step by step, learn Spring Boot, Spring Boot & Shiro, Spring Batch
...Each module focuses on a specific technology or integration—covering web applications, ORM frameworks, microservices, caching, messaging, security, distributed systems, and monitoring. The repository emphasizes both theory and practice, combining conceptual explanations with working examples so learners can bridge the gap between reading documentation and building real-world applications. It also includes advanced topics such as distributed locks with Zookeeper, API documentation with Swagger, session sharing, security with RBAC, and microservice communication patterns. ... -
7
threadandjuc
High performance three-high-import import system
...It is especially useful for Java developers preparing for interviews or improving their understanding of production-level concurrency patterns. Some material also explores large-scale import and high-throughput reporting scenarios, connecting theory to real performance problems. Its main value is giving learners a structured way to study Java concurrency beyond isolated code snippets. -
8
A shell for using the methods of Contextual Logic to do qualitative data analysis, mathematical research on the theory underlying Conceptual Knowledge Processing, or learning Formal Concept Analysis. It uses the framework provided by the Tockit project..
-
9
Automation Center is a distributed automation platform developped by java technology, which could run QTP, selenium,Java, Junit, Ant, Web Service, scripts and so on.
-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
10
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. -
11
Isabelle/Eclipse
Eclipse integration for Isabelle proof assistant
...Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute Isabelle/Eclipse files - the source code and issue management is available on GitHub: http://github.com/andriusvelykis/isabelle-eclipse Visit Isabelle/Eclipse website at http://andriusvelykis.github.com/isabelle-eclipse -
12
PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.
-
13
Java library offering theory of sets/set theory functionality (complement, intersection, symetric difference, union, cartesian product and powerset). There's also an ant task/ant tasks included that provides the library's functionality
-
14
A Java collections framework based on set theory, specifically, from Spivey's work on the Z notation (a formal specification language).
-
15
G.A.V. (Graph Algorithm Visualizer) is a tool that visualizes algorithms from graph theory. A step-by-step visualization from each different algorithm allows the user to understand the particular algorithm very easily.
-
16
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
-
17
The Open Optimization for Java provides a framework and the implementation of commonly-used algorithms found in Graph Theory and Network Optimization, e.g. shortest path and postman problem.
-
18
This tool is based on Graph Theory learning. It can help professors and students to teach and learn the Graph Theory easier. With this tool, people can draw simple graphs and even apply functions on their drawn graphs.
-
19
This project intends to create an indexing search engine, for knowledge management. The primary object is to apply an information retrieval core. And implement a knowledge data discovery theory such as data mining algorithm, text mining.
-
20
-
21
This project aims to provide developers a convenient library about graph theory algorithm and some basic data structures. It will be developed in Java via Eclipse IDE, supporting both win32 and linux systems, and published as jar files.
-
22
jTask is a Java 5.0 based task- and workflow- framework. In theory, it is kind of like Apache Ant, but without Ant's wrinkles. jTask works as a standalone program as well as embedded in other environments.
-
23
The zX Framework : A java based single strike development framework. The framework is based on the theory of self-describing objects that allow separation of 'what' from the 'what with' (e.g. 'search form' for 'client') and thus allow
-
24
It's new technology for Development Personal Creation/Customization Services , based on XML standard and DAFSM (Finite State Machine Theory) , using multiple call control protocols.
-
25
A collection of various Java utility interfaces and classes, concentrating on collections, data structures, algorithms, number theory, matrices, and other mathematical constructs.
