Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini 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.
Try It Free
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
A planetarium software that shows a 3D simulation of the night sky
Stellarium renders 3D photo-realistic skies in real time with OpenGL. It displays stars, constellations, planets, nebulae and others things like ground, landscape, atmosphere, etc.
This project aims to develop software around FW4EX, an infrastructure for mechanized grading. Currently five sub-projects exist: a C client for SCiTE, two Java clients for Eclipse and two authoring plugins for Eclipse. And, now, a pair-programming server.
System Designer is a software framework for domain specific languages based on model-driven generative programming. DSPE is one of the development environment based on System Designer. Audio n-Genie is a specialization of DSPE for the audio domain.
Unit tests and examples for data structure in C. It can be used for teaching and training. You can use Eclipse with CDT to open and use it. You can ask yuandong1222@gmail.com for help or visit yuandong.cnblogs.com.
Vehikel is a learning environment for behavior based control of mobile robots. A little bit artificial intelligence based on a domain specific language for the c't Bot.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.