This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
Datamixer generates mock data values for various datatypes, including integer, floating precision, datetime, and string. It can generate complex sequences, based on functions and permutations of the basic data series.
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.
Provides a GUI interface to grammatical structure and relations (as parsed by the Stanford Parser) of any text.
Contains grammatical relation editor to modify, import, export grammatical relation definitions (tregex patterns and features).
This project provides bookmarklet-based web page overlays based on recognized terms from vocabulary servers. These overlays can be used to assist users with unfamiliar terminology or can be used for annotation of web-based data and literature.
A Java-based tool for creating, designing and distributing graphical trees that represent syntactic construction of sentences. Useful for drawing trees under X-bar generative theory or any other correlated application.
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.
The application Crimeblips provides up-to-date crime statistics for Berlin (Germany). It maps and visualizes crimes, allowing users to identify crime hot spots, trends and general patterns. Bayesian algorithms are used to extract relevant information.
RDF-DocMan is a document manager based on a Sesame (RDF repository) backend. Documents are stored in the filesystem and their metadata in a Sesame repository.
It was developed for porQual web content generator (also in sf.net).
x2svg is software to graphically lay out files like XML Schema, DTDs and Java property files as scalable vector graphics (SVG). Diagrams can be converted into PDF, PNG, TIF and EPS files directly from within x2svg. A simple GUI and ant integration exist.
A real-time graph plotter. While your application is computing and logging results to a CSV file using the LiveGraph Writer API, the plotter lets you visualise and monitor the results live - by instantly plotting charts and graphs of the data.
LT4eL (Language Technology for e-Learning) develops a framework of multilingual language technology tools and semantic web techniques for improving the retrieval and the metadata annotation of learning material.
This project tries to find geographical locations (formulated by GPS positions) for specific queries (eg 'art') in specific environments (eg 'Maastricht') by analyzing webpages.
TimeSleuth discovers temporal decision rules. It also judges the (a)causality of the rules. TimeSleuth can discover rules that involve time: {if (rainy_yesterday = true) then rainy_today = true}, or {if (rainy_tomorrow = true) then rainy_today = true}.
This Java project creates a testing environment application to analyze an image at its low level features and suggest tags to clasify it using an ontology search based on the tags of similar images.
jDSM is a Java library for representing and analyzing Design Structure Matrices (DSM). It can be used to analyze any Java software with regards to modularity.
The aim of the project is to provide open source collection of algorithms in the field of spectroscopy: data handling and processing, modeling and artificial intelligence tools.
This Java project intends to implement a set of functions allowing a user to manipulate classical propositional logic statements and reason about their properties and connections.
A set of applications that can generate and tabulate paper surveys. Includes simple graphical programs for the common user. Has interchangeable back-end components for the enthusiast.