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.
Start Free
The most advanced C and C++ source code analyzer
Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Gauche is an R7RS Scheme implementation aimed to be a handy tool for daily works. Quick startup, built-in system interface and native multilingual support are some of the goals.
Niche website for webmasters promoting adult companies through referrals, Flat File RSS Archives, make money through webmaster referrals and from the regular surfer. New programs are added all the time so please use this to your advantage.
With CRM, Sales, and Marketing Automation in one, Act! gives you everything you need for happier clients, more revenue, and less stress.
Act! Premium is perfect for small and midsize businesses looking to market better, sell more, and create customers for life. With unparalleled flexibility and freedom of choice, Act! Premium accommodates the unique ways you do business. Whether it’s customizations to fit your specific business or industry processes or your preferences for deployment and access, the possibilities with Act! Premium are limitless.
A GTK-server based GUI for Bigloo Scheme; a Windows distribution for both Bigloo, and GTK2. Tutorials on how to call GTK2 procedures from Scheme. A simple GUI for OCaml. It offers two kinds of widgets, to wit, buttons and an Emacs like mini-editor.
For security operations, threat-intelligence and risk teams wanting a tool to get access to auto-monitored assets exposed to attack surfaces
Criminal IP’s Attack Surface Management (ASM) is a threat-intelligence–driven platform that continuously discovers, inventories, and monitors every internet-connected asset associated with an organization, including shadow and forgotten resources, so teams see their true external footprint from an attacker’s perspective. The solution combines automated asset discovery with OSINT techniques, AI enrichment and advanced threat intelligence to surface exposed hosts, domains, cloud services, IoT endpoints and other Internet-facing vectors, capture evidence (screenshots and metadata), and correlate findings to known exploitability and attacker tradecraft. ASM prioritizes exposures by business context and risk, highlights vulnerable components and misconfigurations, and provides real-time alerts and dashboards to speed investigation and remediation.
Programming language designed to be extensible, like LISP but even more so. End result will be similar to Haskell, Scheme, and Python. Extensibility will help with designing a good language.
FEAR is a development kit helping software engineers create advanced artificial intelligence in synthetic characters with simplicity and efficiency. The project includes reusable AI components, portable framework and interfaces to realtime 3D games.
FramerD is a distributed semi-structured object database originally developed at MIT. It provides an internationalized Scheme-based scripting language, built-in text analysis tools, and special support for web scripting.
Momoko is a framework for developing distributed, multi-user, network-aware applications. It includes facilities for storing objects in a tree structure, a shell for manipulating the object database, orthogonal persistence, scripting support, and a trans
PBADEV gathers lessons learned making GIMPVS available on Windows platforms and Makes Blender available together with GIMP on Microsoft Windows Platforms. PBADEV aims at providing the highest quality softwares to artists and developers.