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.
Start Free
Earn up to 16% annual interest with Nexo.
Access competitive interest rates on your digital assets.
Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform.
Geographic restrictions, eligibility, and terms apply.
This sourceforge site for the project is now DEPRECATED and not updated.
All current work and new releases are on github: https://github.com/OpenJML/OpenJML.
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.
The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
wxHexEditor is another Hex Editor, build because of there is no good hex editor for Linux system, specially for big files. It supports files up to 2^64 bytes. Written with C++/wxWidgets GUI libs and can be used with other OS'es such Windows, Mac OS
We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
One Monitoring Tool for IT, OT and Cloud | Free Trial
Vendor-agnostic monitoring across on-prem servers, cloud platforms and OT devices, all in one dashboard. No more tool sprawl.
Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
Unit Test for C is a very useful and powerful software development tool for C and C++ programmers. It is designed to provide a great deal of functionality in a very small package and functions nearly identically on Windows and UNIX systems.
Disassembler for Windows(95-XP), currently supports PE, NE, MZ, COM and "unknown" executable formats. Includes also OS independent console version (but requires x86). Output syntax similar to NASM .
SPE is a python IDE with auto indentation&completion,call tips,syntax coloring&highlighting,uml viewer,class explorer,source index,todo list,pycrust shell,file browsers,drag&drop,Blender support.Spe ships with wxGlade,PyChecker and Kiki.
NEmu is an emulator/simulator for exploring computer architecture. It
provides a virtual machine, a debugger, and simulations of various cpus
and hardware. NEmu is built on top of ALib, my own application framework.
To develop a plug-in for eclipse (eclipse.org) allowing for seamless Eiffel Development using the SmartEiffel (smarteiffel.loria.fr) compiler and the ELJ (elj.com) tools.
Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.
Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
A mini cross-platform IDE to cooperate with GCC, GDB, VIM.
Programming Language: Python, Vim script.
OS: OS independent.
Graphics libraries: Use just vim native UI functions.
jDiSeq is a recording facility for call sequences within any Java Virtual Machine. Typical usage is to generate UML (Unified Modeling Language) sequence diagrams of a running system - client or serverside.
BT-Sim is a BlueTooth simulator on a HCI level. The project alows to develop and test BT applications without using real BT hardware. It works in particular with PalmSource's Palm OS Simulator.
PlugProxy version is a port forwarder/port debugger written in Java.
PlugProxy is used to forward data from one TCP port to another. This is commonly referred to as "port forwarding." The purpose of this is to invisibly send a request from one site
Le projet Atlantis est une collection de composants et de bibliothèques pour Lazarus. The Atlantis project is a collection of components and libraries for Lazarus.