cmu-sei / eraces
Tools to identify complexity in software models (e.g., SCADE, AADL).
☆12Updated 9 years ago
Alternatives and similar repositories for eraces:
Users that are interested in eraces are comparing it to the libraries listed below
- My dot files in one place - extensively edited over time. Your mileage may vary☆2Updated 8 years ago
- The GraphBuilder library provides functions to construct large scale graphs. It is implemented on Apache Hadoop.☆97Updated 10 years ago
- A secure proxy service for managing OneOps secrets.☆13Updated last year
- ☆11Updated last year
- Digital signatures to guarantee integrity and authenticity of collections of records.☆12Updated 3 years ago
- All class material☆16Updated 7 years ago
- Protection Profile for Application Software☆10Updated this week
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Updated 9 years ago
- Example how to pre-process news articles with textbox and index on Elastic Search☆13Updated 7 years ago
- Open Integration Hub master data models☆11Updated 3 years ago
- Database smell detector☆13Updated 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 last year
- Microconfig plugin for Intellij Idea☆10Updated last year
- Management tool for cataloging journals and articles, available in a SaaS model. It acts as a central metadata backbone for all the syste…☆16Updated this week
- S-Match is a framework for semantic matching algorithms.☆10Updated 8 years ago
- Open source Home Page for your Team☆8Updated 4 years ago
- Write tables in the command line.☆17Updated 10 years ago
- ☆21Updated 5 years ago
- DataFlow GUI is a desktop application for constructing Big Data programs through building DAG☆12Updated 7 years ago
- This project has 3 goals: To find out the best machine learning pipeline for predicting ASD cases using genetic algorithms, via the TPOT …☆15Updated 4 years ago
- Apache Solr: Because your Database is not a Search Engine☆12Updated 6 years ago
- Webpay is an implementation of the WebPaymentProvider spec☆42Updated 9 years ago
- A curated list of awesome databases☆18Updated 10 years ago
- TimerMetrics captures timings and enables periodic metrics every n events☆15Updated 5 years ago
- Product fabrication framework☆17Updated last month
- Software operations items☆15Updated 3 weeks ago
- Pirate Trading Platform: Open source automated trading based on algorithmic market evaluation☆13Updated 7 years ago
- Interfaces and utilities for safe log messages☆17Updated last week
- Awesome List for Infrastructure as Code☆15Updated 7 years ago
- Build simple social graphs for GitHub☆15Updated 10 years ago