cmu-sei / eraces
Tools to identify complexity in software models (e.g., SCADE, AADL).
☆12Updated 8 years ago
Related projects: ⓘ
- The GraphBuilder library provides functions to construct large scale graphs. It is implemented on Apache Hadoop.☆97Updated 9 years ago
- Build simple social graphs for GitHub☆15Updated 9 years ago
- Splot for Java: An Experimental IoT Machine-to-Machine Library for Monitoring, Control, and Automation☆15Updated 3 years ago
- ☆11Updated 11 months ago
- This is an open source project for building Rule/Policy Inference Engine written in Java☆7Updated last year
- Java Sketch Characterization Code.☆10Updated 2 weeks ago
- Interfaces and utilities for safe log messages☆14Updated this week
- SSH load testing tool.☆14Updated 2 years ago
- ☆15Updated this week
- Models and serializers for ontologies and related artifacts backed by 4store☆18Updated 2 months ago
- A secure proxy service for managing OneOps secrets.☆13Updated last year
- Database smell detector☆13Updated 6 years ago
- Data abstraction, storage, discovery, and serving system☆31Updated 2 months ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Updated 8 years ago
- An HTTP content negotiation client and server JavaScript library, inspired by Sinatra and JSGI, and using Q promises.☆40Updated 7 years ago
- Fork of swagger-api/swagger-parser☆17Updated 4 years ago
- Pine: Machine Learning Prediction As A Service☆15Updated 7 years ago
- Exploration of the U.S. rulesets as a network☆15Updated 2 years ago
- Demo wordbooks for business, projects, industries, software, consulting, and more☆22Updated last year
- Open source Home Page for your Team☆8Updated 4 years ago
- Source for the GitHub Pages for Ion.☆22Updated last week
- Script Execution service☆12Updated 7 years ago
- NoSQL Data Engineering☆29Updated last year
- Omni scheduler/core engine for Megam Vertice☆12Updated 7 years ago
- Generate an unlimited stream of JSON schema instances using json-schema-faker, faker, chance and insert the data into a supported databas…☆10Updated 8 months ago
- An experimental patchset management tool.☆11Updated 3 years ago
- The VLINGO XOOM platform SDK wire protocol messaging implementations, such as with full-duplex TCP and UDP multicast, and RSocket, using …☆13Updated 9 months ago
- OSv GUI☆19Updated 7 years ago
- Apache STeVe -- a set of voting tools☆13Updated last month
- Helper for data extract-transform-load (ETL)☆9Updated 5 years ago