Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
Download Now
Cut Data Warehouse Costs by 54%
Easily migrate from Snowflake, Redshift, or Databricks with free tools.
BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
An educational tool for designing and simulating digital logic circuits, featuring a simple-to-learn interface, hierarchical circuits, wire bundles, and a large component library. As a Java application, it can run on many platforms.
PCSIM is a tool for distributed simulation of heterogeneous networks composed of different model neurons and synapses. The development of PCSIM was supported by the FACETS EU project.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB 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.
Coho is a reachability analysis platform for high-dimensional, nonlinear hybrid systems, especially for analog circuit verification.This tools has been applied to verify many circuits, including toggle, arbiter, flipflop, celement, oscillator, etc.
This program provides for easy modification and viewing of SPICE circuit files. It will also read SPICE3 RAW format (as well as GnuCap) and create graphs of results through an interactive GUI. It supports waveform math, copying to clipboard, and saving.
Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.
ElectroMimic is an electronic circuit simulator in Javaâ„¢. The simulator is focused on the piecewise-linear models normally used by undergraduate students, but can also be linked with external simulation software for more realistic results.
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
OCTV it is a robust and complete solution of security and monitoring.It has support for different models of cameras IP.Among its functions includes playback, recording, motion detection, event scheduling and can work simultaneously with many cameras
Visually build and simulate boolean logic circuits
Visually build boolean logic circuits and then simulate their operation. Create custom components from user-designed circuits. Written in Java for cross-platform functionality.
NOTE: This project has moved to Bitbucket at http://bitbucket.org/kwellwood/circuitsandbox
A JAVA DSP circuit simulator with graphical editor for creating block diagrams. It can be easily extended by creating new blocks. Performs computations using fixed point, floating point and arbitrary precision arithmetic
The official repository of JCSim is now hosted by github at https://github.com/almejo/jcsim
JCSim is a fully functional Digital Circuit simulator written in Java. You can create and simulate simple (and not so simple) circuits in an easy way.
It includes a basic set of gates, simple creation of new gates and simulation.
QuarlSIM is a software suite of free open source Electronic Design Automation tools maintained and developed by student at Chalmers University. These tools are used for electrical circuit design, schematic capture, simulation, prototyping, and production
Set of Java packages to apply Genetic Algorithms to any kind of problem. Various genetic operators are implemented and an example shows of how the system could be applied to digital circuit evolution.
LearnCircuits will help students learn linear circuit theory by showing the steps neccesary to analyze and interpret the characteristics of any simple circuit drawn using the program.
CycleCnt is a client/server application that tracks vacuum activation cycles for In-Circuit Test (ICT) fixtures and testers, including HP 3070 (now Agilent 3070), GenRad 228X (now GR TestStation) and Teradyne Z1800 and Spectrum.
CircuitSmith is to be a comprehensive electronic design package being developed in Java which will include schematic capture, printed circuit board layout and any other features which I (and hopefully others) can be bothered to program.
Virtual electronic circuit simulation with JAVA based schematic entry and wave viewer, based on (Berkeley) SPICE, for any OS/Server/Browser configuration.
Due to missing public feedback for over one year its status is set to INACTIVE (1/2004) - sorry.
Circuit War 2 is an update to Circuit War, two-four player strategy game originally by R. Reed.
The game requires the victorious player to crush the opposing CPU's by draining their energy levels to below zero.
PCB-Tools is a system independent, a Java programmed Eclipse-RCP application for developing circuit diagrams and printed circuit boards. It uses Eclipse Graphical Editor Framework (GEF) to draw diagrams and layouts.
jEDA IDE (Java Eletronic Design Automation Integrated Development Environment) is a multiplatform, open-source tool used for electrical circuit design, schematic capture, simulation and prototyping.