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
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.
This is the code for FIRST robotics team 166's 2008 robotics code. It is written in C, and is intended for use on the 2008 Innovation FIRST robot controller, which utilizes a microchip PIC18F8722 processor to control a FIRST robot.
A topological data structure to handle 2D simplicial meshes (using the Morse operators published by authors). This data structure is implemented using C++ and it is based on the classical Half-Edge. This code started in 2002 and it has been used in many
UnitsC++ is a lightweight C++ library that lets you use unit objects for performing type-safe numerical calculations involving physical units. It 1) is easy to use, 2) results in very readable code, 3) is easy to change to fit your needs.
New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.
Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
Plot 2D (plotting X vs Y) scatter plots directly to a compressed image file. Platform independent standalone package. Plot up to 12 series. ASCII options file. Console/Terminal and win32 GUI. Code is ANSI C with C++ encapsulation. Try it on the website.
A traslator from BPEL4WS processes to YAWL workflows that works with translation patterns. It takes a BPEL document in input and creates a YAWL workflow that rapresents it.
PIMC++ is a code designed to perform fully-correlated simulations of quantum systems in continuous space at finite temperature using Path Integral Monte Carlo.
It is designed in a modular way to facilitate easy addition of new algorithms.
Libraries and sample code for accessing remote toolpath delivery services such as VoluMill. Although much of the code is specific to the VoluMill service, it also defines open standards for exchanging toolpath information, parameters, and geometry.
Parallel IBDWS is an upgrade from IBDWS that utilizes parallel processing. Also, the incorporation of DNA sequence data has been added since the last code release
MACsim is a MAC (Medium Access Control) protocols simulator for CDMA (Code Division Multiple Access) systems used in mobile communications of third generation. Currently it only supports the WISPER protocol.
GeoAr intends to be a rich client for WMS and WFS services. It's developed on LZX (OpenLaszlo), so it would serve dhtml(near future) and flash to the user's browser giving the chance of select between them, but having only one server's cource code.
A module for Python which provides interface to the PARI/GP computing library. We propose to write programs for PARI using Python scripting language. Python makes code much more clean, readable and manageable than the old-style PARI scripts.
Post-processing navigation software for raw GPS/GNSS receiver data (pseudorange, Doppler, and carrier phase data) in stand-alone, and differential mode. Portable C foundation code. C++ for more advanced apps. NovAtel OEM4 and RINEX supported.
This Java program calculates the SPBRG value for a given baud rate (Baudrate) and clock frequency. It comes with a graphical interface and a simple value interpretation guide. A Java Webstart file (.jnlp) is provided.
S2iLib includes Harpia, a visual way of programming image processing algorithms, with a growing selection of OpenCV functions. Harpia is portable, and features capture from video devices in GNU/Linux and MS-Windows, and retrieves a compact OpenCV C-code.
OOoLatex is no more maintained. Please consider using TexMaths (http://roland65.free.fr/texmaths/)
OOoLatex is a set marcos designed to provide latex support into OpenOffice. Complex equations can be inserted as images, the latex code is saved into the image attribute while simpler equations are expanded into symbol characters to be inserted as text.
FSEM is a set of freeFEM++ scripts and C++ code to solve the drift-diffusion (DD) semiconductor device equations by the finite element method (FEM). It was initially developed for the nonlinear study of semiconductors under high optical injection.
NOTE: The IntAct package is now hosted at google code: http://intact.googlecode.com IntAct is an open source package to store and manipulate molecular interaction data.
febrl-gen is a Java-based frontend to Febrl, an open-source data linkage system written in Python. Users can configure the parameters of a linkage project through the frontend, and febrl-gen will generate a Febrl-ready configuration file.
JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/