Search Results for "theory"
Sort By:
Showing 6 open source projects for "theory"
View related business solutions-
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.
-
$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.
-
1
Begin LaTeX in minutes
Brief Intro to LaTeX for beginners that helps you use LaTeX with ease
...The guide includes multilingual usage examples and explains when compilers like LuaLaTeX or XeLaTeX may be useful. Its main purpose is to help new users become productive quickly without overwhelming them with advanced theory. -
2
CoRoPa stands for Computational Rough Paths. The aim of CoRoPa is to provide a software framework for various ideas related to Rough Path Theory, including rough differential equations and the digital description of serial data streams.
-
3
ISO GrAF
Experimental Java library for reading and writing GrAF/XML files.
The Graph Annotation Framework (GrAF) models linguistic annotations using a data model based on Graph theory and algorithms. The GrAF standard is a work product of ISO TC37SC4 Working Group 1. This Java library is NOT part of the GrAF standard and standoff annotation files produced by the library may not be GrAF compliant. -
4
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. -
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.
-
5
bint
Converts intensity text files to binary for fast subsetting
...Illumina final report files). bint converts the text representation of the intensity float data to into a IEEE754 indexed binary file for rapid extraction of subsets of the data. In theory bint could be used for any large tables of float data. -
6
JMaay is a Java library used to create, administrate and use a peer-to-peer (p2p) network for your own Java application. It's based on Maay theory, a p2p free software, and was originally built for @rbre, another free software.
- Previous
- You're on page 1
- Next
