Trusted by nearly 20,000 customers worldwide, and all major cloud providers.
OpenVPN's products provide scalable, secure remote access — giving complete freedom to your employees to work outside the office while securely accessing SaaS, the internet, and company resources.
Get started — no credit card required.
Auth0 Free: 25K MAUs + 5-Min Setup
Enterprise Auth, Zero Friction: Any Framework • 30+ SDKs • Universal Login
Production-ready login in 10 lines of code. SSO, MFA & social auth included. Scale seamlessly beyond free tier with Okta’s enterprise security.
tstools is a set of cross-platform command line tools for reporting on and manipulating MPEG (H.262 and H.264) data, as Transport Stream (TS), Program Stream (PS) or Elementary Stream (ES).
RainyCloud is a MVC framework for web applications with many distinguishing characteristics. RainyCloud uses many existing, well known, and stable libraries and tools such as Smarty templating engine, ADODB, Zend library etc.
For all C programmer, it is an editable app designed and programmed in C language with Large amount of C Graphics and File Handling concept. Manual for help and troubleshoot is enclosed with it.
This is a Traffic Light with capability of controlling 4 sets of Lamps and Passengers light with one Counter and LCD for displaying the Time for every set of red light.
216,000+ customers in over 135 countries grow their businesses with HubSpot
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
A suite of tools for Computer Science faculty members to help provided automated feedback to students as well as assist with the management of those assignments. Support is primarily for RAPTOR assignments, but Processing is supported as well.
LSim is a software for simulation and make executables to ARM Cortex-M3 mcu from logic gates diagram. LSim can compile logic gates diagram and generate binary executable files (*.bin, *.hex) for cortex-m3 mcu´s (LPC1768, under development).
GNUexp is a GNUstep/Cocoa framework and a collection of tools helping you to plan, develop, and administer applications associated with visual psychophysics, experimental psychology and statistical data analysis.
Enterprise-Grade Proxies • Built-in IP Rotation • 195 Countries • 20K+ Companies Trust Us
Get unrestricted access to public web data with our ethically-sourced proxy network. Automated session management and advanced unblocking handle the hard parts. Scale from 1 to 1M requests with zero blocks. Built for developers with ready-to-use APIs, serverless functions, and complete documentation. Used by 20,000+ companies including Fortune 500s. SOC2 and GDPR compliant.
MGARCH is a software library for R-Project to simulate and estimate various MGARCH processes. This project also provides convenience tools for preparing data, summarizing and visualizing results, prediction and documentation.
This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.
MBDyn_sim_suite is a collection of free pre&post-processing tools and simulation models for the open-source multi-body analysis software MBDyn forming a general purpose simulation environment for structural dynamics with an emphasis on wind turbines.
The kernel network stack may behave not as expected, especially in the case of receiving packets. With Ianus it is possible to bypass the kernel network stack and to develop your own network stack in user space or other tools.
This tool permit to backup datas such as phonebook, calendar, notes and other of a SonyEricsson (tested on w810i) mobile phone. This a command line tool.
The CLOWN virtual machine is a microcomputer simulator for operating system research. CLOWN emulates a realistic, though vastly simplified computer system. Besides the simulator itself, it includes assembler, linker, and disk maintenance tools.
WESP is a collection of subtle scripts and programs written in several languages (C, /bin/sh, (g)awk, ruby, icon) that breaths a new life into the WEB system for literate programming by Donald Knuth (and CWEB by Knuth/Sylvio Levy).
Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.
The LuSeismo project provides modules for the Earthworm project to capture analog seismometer data w/linux. The project also provides GUI interfaces used in the Loyola Physics Department for several labs, utilizing these seismometers as educational tools
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.
JTAG-O-MAT is a simple but highly configurable command line tool for Win32 and Linux based PCs, mainly used to upload initial software to virgin embedded system via a JTAG interface.
Netflow analyzing tools :
JXColl - collector for Netflow (or XML specified) data
Analyzer - front-end application for providing an user interface and output (graphs, statistics, etc.)