Application Monitoring That Won't Slow Your App Down
AppSignal's Rust-based agent is lightweight and stable. Already running in thousands of production apps.
Full APM with errors, performance, logs, and uptime monitoring. 99.999% uptime SLA on the platform itself.
Start Free
Earn up to 16% annual interest with Nexo.
Access competitive interest rates on your digital assets.
Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform.
Geographic restrictions, eligibility, and terms apply.
Sanchay is a collection of tools and APIs for language researchers. It has some implementations of NLP algorithms, some flexible APIs, several user friendly annotation interfaces and Sanchay Query Language for language resources.
GPX2ProfileImage is a Java application that takes gpx files and turns them into elevation profile images. GPX files are created by GPS devices such as the Garmin Edge series bicycle computers, as well as by applications like LoadMyTracks, Ascent.
DimReduction project provide an open-source multiplatform (Java) graphical environment for bioinformatics problems that supports many feature selection algorithms, pattern recognition techniques, criterion functions and graphic visualization tools.
Javalibrary that interfaces with "The USB INSTEON PowerLinc Controller" built by Smartlabs Design. This library is built on top of the javax.usb linux reference implementation, but should work under Windows as well.
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.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. JTLV is a new tool aimed to facilitate and provide a unified framework to the development of formal verification algorithms.
A graphical MatLab framework for estimating the parameters of, modeling and simulating static and dynamic linear and polynomial systems in the errors-in-variables context with the intent of comparing various estimation strategies.
JUNG provides a common and extendible language for the modeling, analysis, and visualization of data that can be represented as a graph or network.
New version now available on GitHub: https://github.com/jrtom/jung/releases/tag/jung-2.1
This desktop application provides graphical control of K8055, a USB Experiment Interface Board by Velleman (http://www.velleman.eu/). It will be mostly platform-independend at a later time. The current (beta) version is for windows 2000/XP/Vista/7 on 32Bit. It is incompatible with all other Operating Systems and with 64Bit architecture.
I stopped developing this application. Feel free to reuse the code or contact me on Questions.
Maui is a multi-purpose automatic topic indexing algorithm. Given a document, Maui automatically identifies its topics. Depending on the task topics are tags, keywords, keyphrases, vocabulary terms, descriptors or Wikipedia titles.
GRad is a standalone solar radiation model, programmed in Java. It is capable of the calculation of potential (clear sky) and actual (real sky) irradiance and total irradiation for single and multiple geographical locations.
Note that, while fully functional, this application is currently not developed any further.
HealthAgents is an open source web-based distributed decision support system (DSS)
which provides hospitals and organisations with a reliable tool to aid in the diagnosis of brain tumours and their prognosis aiming to avoid invasive surgical
procedures
Taverna is *no longer* hosted on SourceForge, but has moved to the Apache Software Foundation: https://taverna.apache.org
These pages and mailing list archives are provided for *archival purposes* for older Taverna 1.x releases.
See https://taverna.apache.org/download/ for the latest releases from Apache Taverna.
* Java classes for parsing text, conversion to XML or to evaluate in Java. The parser is textual-script-controlled with a syntax near Backus Naur Format, named ZBNF. * Some routines for conversion: C-Header or Java to XMI, XML-Documentation generation,
A software tool enabling the user to browse through an image stack created by a confocal microscope. Points can be plotted through the stack, producing a digital 3D representation, which can be viewed in 3D and compared with other plots.
The Neurpheus Morphological Analyser performs morphological analysis, stemming or word form generation tasks using sophisticated classification methods for an analysis of words unseen in a training dictionary.