Search Results for "documentation"
Sort By:
Showing 9 open source projects for "documentation"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
yacas
Computer calculations made easy
...It uses its own programming language designed for symbolic as well as arbitrary-precision numerical computations. The system comes with a library of scripts and extensive documentation. Yagy (http://sourceforge.net/p/yagy) provides full yacas experience wrapped in a simple and intuitive graphical interface. -
2
WOLFGANG
Editor for Petri nets
...Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. Use Wolfgang to smoothly create the Petri net you want! A user guide and a documentation can be found under http://doku.telematik.uni-freiburg.de/wolfgang. -
3
JAGAL: Java Graph Library
Java graph library
...JAGAL builds upon the Java library TOVAL (located at http://sourceforge.net/p/toval). To use JAGAL, make sure the TOVAL library is on the build path. This library uses and encloses jGraphX (https://github.com/jgraph/jgraphx). A documentation for JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal. -
4
SEPIA: Security-oriented PN Framework
Petri net framework for security related modeling and reasoning.
...To use SEPIA, make sure these libraries are on the build path. SEPIA encloses the Multi Schema Validator (https://msv.java.net/) and isorelax (http://iso-relax.sourceforge.net/) The documentation can be found under http://doku.telematik.uni-freiburg.de/sepia. -
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
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. -
6
Java ILP is a simple java interface to (mixed) integer linear programming solvers such as lp_solve, Glpk, Gurobi, SAT4J (0-1 ILP), MiniSat+(0-1 ILP), CPLEX, or Mosek. (documentation at http://javailp.sourceforge.net/)
-
7
Clados is a java package that implements a multivector in a Clifford Algebra. Algebras (over real numbers) with any signatures may be used. A calculator and associated documentation is also included to help users learn how things work.
-
8
The Wolfram Machine project is an effort to create a set of documentation and useful modules (both hardware and software) for a computing architecture based on the mathematical theories presented in Steven Wolfram's book _A_New_Kind_of_Science_.
-
9
MatrixOps is a console program written in Java that makes matrix operations. The goal of this project is to work as a Java tutorial, using some functions/programs typically made at school, with full documentation of the API.
-
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.
- Previous
- You're on page 1
- Next