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.
Top-Rated Free CRM Software
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.
This tool tests COBOL source code, using the SSA (Single Static Assignment) form as intermediate representation to obtain varibles definition-use chains under different criteria.
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.
tdir is an LDAP translator, initially it will facilitate easy replication to MS Active Directory, but support for other directories may be added in the future
Data Structure Tester is an OCaml application for multiple testing of various data structures (also written in other lanages, like C or C++).It proviedes many examples to test, easily configurable tester and signatures for all data structers to be tested.
Griff is a collection of projects including: (i) Sarl3 - Sets and Relations Library for doing Formal Concept Analysis (FCA); (ii) RJL a progamming language combining both static and dynamic typing, and (iv) PIG a simplistic triple store.
A tennis simulation developed by a former tennis player. Its main feature is realism. For gameplay, this means you have total control over the shot parabola. For graphics, it means players have realistic gestures. For AI, it means real tactics.
MLGame is a 2d game library for OCaml built on top of SDL (OCamlSDL).
It features sprites, collision, video contexts, high level network, console, input bindings, widgets and video primitives.
Currently package includes some simple exaple games, an
Payroll Services for Small Businesses | QuickBooks
Save up to 50% on QuickBooks Online! Keep the Accounting and Book Keeping for your Small Business up to date!
Easily pay your team and access powerful tools, employee benefits, and supportive experts with the #1 online payroll service provider. Manage payroll and access HR and employee services in one place. Pay your team automatically once your payroll setup is complete. We'll calculate, file, and pay your payroll taxes automatically.
Camelia is an IDE for OCaml designed with students and new users in mind. It sports syntax highlighting, tool-tip type checking, clickable error explanations, an integrated debugger, and more.
WDialog is a system to make dialog-centric web applications.
It imitates the behaviour of widgets found
in GUIs, but acts in a HTML/HTTP environment. There is
a UI language (XML), but callbacks are coded in a normal
programming language (O'Caml, Perl)
Antares provides a client and server for a turn based space-themed strategy game. Rules are modular, and the default rules (and the client look and feel) resemble Stars! very closely. It is written in OCaml using the Tk binding.
A linux userspace shadow (file data is on disk) relational filesystem (aka "database filesystem") using fuse and postgresql to store metadata. Directories can be queries, and powerful features (e.g. bayesian classification) are added through plugins
OCamlODE is an OCaml interface to the ODE (Open Dynamics Engine) library. It is memory-safe (by extending ODE with finalisation support and reference-aware cleanup) and type-safe (exploring ways to incorporate subtyping).
GNUdap is a project to build an userspace driver to interface with proprietary-protocol usb mp3 players and mass storage devices. Currently GNUdap supports the following devices from Perstel,Inc. CHIC MP10, MP30, Symphony and the NGS Jogger from NGS.
a.m.c. is a project aimed to produce arcade games in functional languages, mainly Ocaml, and to test functional languages possibilities in game programming and in general
Database File System; Actually do not think of it as a file system, instead think of it as a document system. And while being precise, it is not database system either, it is a faceted system, It helps to organizes your information nicely.
PacLang is a language for programming Network Processors. It aims to make it easy to write high performance networking applications that are portable across a range of target platforms.
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
Monod is a computational model inspired by the biology of cells and the implementation of a simulation of this model. Thinking of proteins as abstract processing units with a rich context leads to an alternative to the Turing / von Neumann architecture.