Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
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.
PetriKit is a modular toolkit for Petri Net analysis. It allows the extraction of basic properties, extraction of invariants, and generation of reachability graph. Results can be formatted in plain text, HTML or XML files.
Secure File Transfer for Windows with Cerberus by Redwood
Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.
Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
A parametric, feature-based, sketch-driven 3D CAD application, built around a geometrical constraint solving engine. Project is in early development stage. The FreeSG library (http://freesg.org/) is required.
Vision: To create a city simulation using a all volunteer organization that reaches across the entire world. The project will be created in a virtual workspace utilizing the communication devices that are attainable for a wide volunteer base.
This project aims to provide libraries in a few languages which allow for NORAD general perturbation element sets to be used in calculating the position and velocity of space objects.
This project going to develop a thermodinamical server for chemical simulation, equip design, scientific module for other aplication or chemical education. Also the thermo server is developed to complete the project of chemical simulation Sim42.Spanish
The objective of SPUC is to provide the Digital Communications Systems Designer or DSP Algorithm designer with simple, efficient and reusable DSP building block objects written in C++.
"Java Artificial Intelligence Markup Language PAD" is a tool that manages ProgramD AI (on local or remote machines) and AIML files with real-time previews and it provides a network support to test AI capabilities over many network protocols.
Step is an interactive physical simulation program for education. StepCore is a physical simulation library on which Step is based. Please refer to http://edu.kde.org/step for more details.
Tuatara Turing Machine Simulator is a graphical tool for designing and executing Turing Machines. Designed primarily for teaching purposes, it features a simple point-and-click interface.
Mito-MAS-m is a simulator of the mitochondrial inner membrane and the enzymatic complexes embedded in it, implementing a coarse-grained (CG) model of the molecules using rigid structures and Dissipative Particules Dynamics (DPD) as motion equation.
Ordinary Differential Equation (ODE) solver for Tcl. Handles both stiff and non-stiff sets of equations; does time-evolved initial value problems and root finding. Based on the popular Lawrence Livermore solver LSODE.
ComLinC (a COMmunications Library IN C programming language), a C library for communications research and simulation. It's based on GSL. ComLinC aims at providing elegent, fast functionality to the frequently encountered problems in communications area.
A MATLAB package to simulate sample paths of the solution of a Itô or Stratonovich stochastic differential equation (SDE), compute statistics and estimate the parameters from data.
A note of caution: SDE Toolbox is no more developed but it's still downloadable. Its inferential capabilities can be considered surpassed (at best). Actually the parameter estimation methods were already far from the state-of-art when the project began in 2007 (!). The considered implemented parametric and...
The Automatic Model Optimization Reference Implementation, AMORI, is a framework that integrates the modelling and the optimization processes by providing a plug-in interface for both. A genetic algorithm and Markov simulations are currently implemented.
OpenDiscreteDynamicProgrammingTemplate : founds optimal constrainted parameters of a discrete controls with second order optimization template replacing Hessian with directional derivatives and backpropagation for digital filter(as neural network)
This project about providing run-time support for developing Decentralized Autonomic Computing systems (Eclipse Innovation Grand). Currently the project contains a automatic guided vehicle (AGV) simulator and an editor and visualisation as eclipse plugin
SpiNet is a neural simulation tool for large spiking networks with highly heterogeneous synapses. Neurons are modelled as I&F units with dual exponential synaptic conductances. Complex network models can be easily built using the included tool NetBuilder
Matho is a OS Independant Application and API for mathematical operations, features include curve sketching, calculus, iterative formulae, algebra solver, 2d/3d geometry and mechanical and statistical functionality.
RDV is a visualization environment for scientific and engineering data. Built on top of the RBNB dynamic data server, it supports local and remote data sources and can visualize numeric, video, image, and audio data in a number of different ways.