Select a tag to browse associated projects and drill deeper into the tag cloud.
Whiley Compiler (WyC)
Claimed by Whiley Analyzed 1 day ago
Whiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors.
Licenses:
BSD-3-Clause
window_shopper
W
Analyzed 1 day ago
Finding the best window around a keyword match in a document.
Licenses:
bsd_2clau...
RHEDcloud Project
Analyzed over 1 year ago
Securing Cloud Computing for Research, Healthcare, and Higher Education
Licenses:
apache_2
JingleOS
No analysis available
JingleOS is a community operating system for embedded devices which aims to achieve dependability by design, as well as intrinsic real time support. It can be used on ARM and x86 systems although, due to Java programming language, it might be easily ported to others architectures.
Mostly written in language not available
Licenses:
gpl
Bibliograph
No analysis available
Bibliograph is aeb-based bibliography tool for individuals, research teams, and organizations.
Features:
* Manage all your bibliographic data, without installing any extra software, by using your browser, from your desk or anywhere in the world.
* Share your bibliographic databases with
Mostly written in language not available
Licenses:
gpl3_or_l...
Ignition Gazebo
No analysis available
Ignition Gazebo is an open source robotics simulator. Through Ignition Gazebo users have access to high fidelity physics, rendering, and sensor models. Additionally, users and developers have multiple points of entry to simulation including a graphical user interface, plugins, and asynchronous
Mostly written in language not available
Licenses:
apache_2
PhotoPrism
Analyzed about 9 hours ago
Personal photo management powered by Go and Google TensorFlow. Free and open-source. Made with ❤️ in Berlin.
XBUP - Extensible Binary Universal Protocol
Analyzed over 1 year ago
XBUP is an attempt to design general binary communication protocol and file format.
Licenses:
gpl3_or_l..., lgpl3
ELKI
Analyzed about 14 hours ago
ELKI: "Environment for Developing KDD-Applications Supported by Index-Structures" is a development framework for data mining algorithms written in Java. It includes a large variety of popular data mining algorithms, distance functions and index structures.
Its focus is particularly on clustering
Mostly written in language not available
Licenses:
AGPL3_or_...
o2r-extender
Claimed by Opening Reproducible Research Analyzed about 7 hours ago
A Chrome Web Extension that integrates reproducibility and open science badges on several research websites (Google Scholar, PLOS, OpenScience, MS Academic Search, ...).
Licenses:
apache_2