Search Results for "research" - Page 4
Sort By:
Showing 81 open source projects for "research"
View related business solutions-
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.
-
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.
-
1
DOC is an abstract interpreter that supports finding obfuscated function calls in x86 executables, commonly found in malicious programs.
-
2
Polyscript
A "cross-platform" scripting language.
A scripting language interpreted into several other script languages which can be executed on multiple platforms, such as bash/sh, Windows batch (cmd) and VBScript. -
3
MixGin provides a fluent API for an easy interaction between groovy and java fragments within java code.Those code can be mixed arbitrarily, including automatic category detection and data access of variables declared in groovy within java and vice versa
-
4
The aim of the project is to write an distributed object compiler/interpreter. Object reside on special server and can be accessed in a java/c++ style programming language through a network. This project is currently being renamed please check http://obj
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
Trison has the goal to become a template engine with support of php, java and the transform ability to javascript to intergrate client/serverside generation of code.
-
6
Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...
