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
- An HTTP content negotiation client and server JavaScript library, inspired by Sinatra and JSGI, and using Q promises.☆40Updated 7 years ago
- Digital signatures to guarantee integrity and authenticity of collections of records.☆12Updated 2 years ago
- Interfaces and utilities for safe log messages☆15Updated this week
- The GraphBuilder library provides functions to construct large scale graphs. It is implemented on Apache Hadoop.☆97Updated 10 years ago
- This is an open source project for building Rule/Policy Inference Engine written in Java☆7Updated 2 years ago
- My dot files in one place - extensively edited over time. Your mileage may vary☆2Updated 8 years ago
- A React-backed UI Toolkit☆12Updated 4 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
- Pirate Trading Platform: Open source automated trading based on algorithmic market evaluation☆13Updated 7 years ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Updated 9 years ago
- Annotated GraphQL Server☆16Updated 8 years ago
- Specification of the Trace Server Protocol (TSP)☆25Updated last month
- Simplified interface for syntax trees and program models.☆16Updated 2 years ago
- Splot for Java: An Experimental IoT Machine-to-Machine Library for Monitoring, Control, and Automation☆16Updated 3 years ago
- ☆11Updated last year
- Leaf showcase, how to use leaf☆19Updated 8 years ago
- Awesome List for Infrastructure as Code☆15Updated 7 years ago
- Curated list of templates for Template.☆18Updated 10 months ago
- query GraphQL endpoints with natural language☆22Updated last year
- S-Match is a framework for semantic matching algorithms.☆10Updated 7 years ago
- NoSQL Data Engineering☆28Updated 3 months ago
- This is a set of ontologies used by different parts of the Open Semantic Framework. These ontologies should normally be loaded in OSF usi…☆14Updated 10 years ago
- Atomist Uhura, an SDM which is capable of running CI workloads for common project types☆9Updated 4 years ago
- learning related projects☆18Updated 9 years ago
- database & aggregate search engine for arbitration outcomes☆17Updated 4 years ago
- ☆9Updated this week
- Scaphold.io's HackerNews Tutorial built with React and Relay☆11Updated 7 years ago
- Apache Spark based framework for analysis A/B experiments☆13Updated 2 months ago
- Build an SSL capable transparent proxying WiFi Access point with budget commodity hardware and Open Source software.☆14Updated 11 years ago