Spaces:
Running
Running
| { | |
| "name": "Computer Science Processes Database", | |
| "version": "1.0.0", | |
| "created": "2026-01-08", | |
| "lastUpdated": "2026-04-30", | |
| "category": "computer_science", | |
| "colorScheme": "5-color", | |
| "description": "Computer Science processes visualized using the Programming Framework with 5-color scheme. Converted from HTML batch files.", | |
| "totalProcesses": 50, | |
| "subcategories": 7, | |
| "statistics": { | |
| "totalNodes": 1159, | |
| "totalEdges": 1358, | |
| "totalConditionals": 200, | |
| "totalOrGates": 200, | |
| "totalAndGates": 50, | |
| "totalGates": 450, | |
| "totalNotGates": 200, | |
| "totalLoops": 150 | |
| }, | |
| "subcategoryCounts": { | |
| "systems": 7, | |
| "networks": 7, | |
| "theory": 7, | |
| "software_engineering": 7, | |
| "algorithms_data_structures": 8, | |
| "machine_learning": 7, | |
| "security": 7 | |
| }, | |
| "processes": [ | |
| { | |
| "id": "algorithms_data_structures-balanced-search-trees", | |
| "name": "Balanced Search Trees", | |
| "subcategory": "algorithms_data_structures", | |
| "subcategory_name": "Algorithms & Data Structures", | |
| "complexity": "medium", | |
| "nodes": 22, | |
| "edges": 25, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Algorithms & Data Structures" | |
| }, | |
| { | |
| "id": "algorithms_data_structures-dynamic-programming", | |
| "name": "Dynamic Programming", | |
| "subcategory": "algorithms_data_structures", | |
| "subcategory_name": "Algorithms & Data Structures", | |
| "complexity": "medium", | |
| "nodes": 22, | |
| "edges": 25, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 3, | |
| "domainContext": "Algorithms & Data Structures" | |
| }, | |
| { | |
| "id": "algorithms_data_structures-graph-algorithms", | |
| "name": "Graph Algorithms", | |
| "subcategory": "algorithms_data_structures", | |
| "subcategory_name": "Algorithms & Data Structures", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Algorithms & Data Structures" | |
| }, | |
| { | |
| "id": "algorithms_data_structures-graph-traversal", | |
| "name": "Graph Traversal", | |
| "subcategory": "algorithms_data_structures", | |
| "subcategory_name": "Algorithms & Data Structures", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 3, | |
| "domainContext": "Algorithms & Data Structures" | |
| }, | |
| { | |
| "id": "algorithms_data_structures-hash-table-operations", | |
| "name": "Hash Table Operations", | |
| "subcategory": "algorithms_data_structures", | |
| "subcategory_name": "Algorithms & Data Structures", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Algorithms & Data Structures" | |
| }, | |
| { | |
| "id": "algorithms_data_structures-minimum-spanning-tree", | |
| "name": "Minimum Spanning Tree", | |
| "subcategory": "algorithms_data_structures", | |
| "subcategory_name": "Algorithms & Data Structures", | |
| "complexity": "medium", | |
| "nodes": 24, | |
| "edges": 29, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Algorithms & Data Structures" | |
| }, | |
| { | |
| "id": "algorithms_data_structures-shortest-path-algorithms", | |
| "name": "Shortest Path Algorithms", | |
| "subcategory": "algorithms_data_structures", | |
| "subcategory_name": "Algorithms & Data Structures", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 3, | |
| "domainContext": "Algorithms & Data Structures" | |
| }, | |
| { | |
| "id": "algorithms_data_structures-sorting-algorithms", | |
| "name": "Sorting Algorithms", | |
| "subcategory": "algorithms_data_structures", | |
| "subcategory_name": "Algorithms & Data Structures", | |
| "complexity": "medium", | |
| "nodes": 22, | |
| "edges": 25, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Algorithms & Data Structures" | |
| }, | |
| { | |
| "id": "machine_learning-feature-engineering-pipeline", | |
| "name": "Feature Engineering Pipeline", | |
| "subcategory": "machine_learning", | |
| "subcategory_name": "Machine Learning", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 3, | |
| "domainContext": "Machine Learning" | |
| }, | |
| { | |
| "id": "machine_learning-hyperparameter-optimization", | |
| "name": "Hyperparameter Optimization", | |
| "subcategory": "machine_learning", | |
| "subcategory_name": "Machine Learning", | |
| "complexity": "medium", | |
| "nodes": 22, | |
| "edges": 25, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Machine Learning" | |
| }, | |
| { | |
| "id": "machine_learning-model-evaluation-and-validation", | |
| "name": "Model Evaluation and Validation", | |
| "subcategory": "machine_learning", | |
| "subcategory_name": "Machine Learning", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Machine Learning" | |
| }, | |
| { | |
| "id": "machine_learning-model-training-pipeline", | |
| "name": "Model Training Pipeline", | |
| "subcategory": "machine_learning", | |
| "subcategory_name": "Machine Learning", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Machine Learning" | |
| }, | |
| { | |
| "id": "machine_learning-project-management", | |
| "name": "Project Management", | |
| "subcategory": "machine_learning", | |
| "subcategory_name": "Machine Learning", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 3, | |
| "domainContext": "Machine Learning" | |
| }, | |
| { | |
| "id": "machine_learning-quality-assurance", | |
| "name": "Quality Assurance", | |
| "subcategory": "machine_learning", | |
| "subcategory_name": "Machine Learning", | |
| "complexity": "medium", | |
| "nodes": 24, | |
| "edges": 29, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Machine Learning" | |
| }, | |
| { | |
| "id": "machine_learning-software-development-lifecycle", | |
| "name": "Software Development Lifecycle", | |
| "subcategory": "machine_learning", | |
| "subcategory_name": "Machine Learning", | |
| "complexity": "medium", | |
| "nodes": 24, | |
| "edges": 29, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Machine Learning" | |
| }, | |
| { | |
| "id": "networks-dns-resolution", | |
| "name": "DNS Resolution", | |
| "subcategory": "networks", | |
| "subcategory_name": "Computer Networks", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Computer Networks" | |
| }, | |
| { | |
| "id": "networks-database-design", | |
| "name": "Database Design", | |
| "subcategory": "networks", | |
| "subcategory_name": "Computer Networks", | |
| "complexity": "medium", | |
| "nodes": 24, | |
| "edges": 29, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Computer Networks" | |
| }, | |
| { | |
| "id": "networks-load-balancing", | |
| "name": "Load Balancing", | |
| "subcategory": "networks", | |
| "subcategory_name": "Computer Networks", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Computer Networks" | |
| }, | |
| { | |
| "id": "networks-query-processing", | |
| "name": "Query Processing", | |
| "subcategory": "networks", | |
| "subcategory_name": "Computer Networks", | |
| "complexity": "medium", | |
| "nodes": 24, | |
| "edges": 29, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Computer Networks" | |
| }, | |
| { | |
| "id": "networks-routing-protocol-operation", | |
| "name": "Routing Protocol Operation", | |
| "subcategory": "networks", | |
| "subcategory_name": "Computer Networks", | |
| "complexity": "medium", | |
| "nodes": 22, | |
| "edges": 25, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Computer Networks" | |
| }, | |
| { | |
| "id": "networks-tcp-congestion-control", | |
| "name": "TCP Congestion Control", | |
| "subcategory": "networks", | |
| "subcategory_name": "Computer Networks", | |
| "complexity": "high", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Computer Networks" | |
| }, | |
| { | |
| "id": "networks-transaction-management", | |
| "name": "Transaction Management", | |
| "subcategory": "networks", | |
| "subcategory_name": "Computer Networks", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Computer Networks" | |
| }, | |
| { | |
| "id": "security-authentication-and-authorization", | |
| "name": "Authentication and Authorization", | |
| "subcategory": "security", | |
| "subcategory_name": "Security & Cryptography", | |
| "complexity": "high", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Security & Cryptography" | |
| }, | |
| { | |
| "id": "security-file-system", | |
| "name": "File System", | |
| "subcategory": "security", | |
| "subcategory_name": "Security & Cryptography", | |
| "complexity": "medium", | |
| "nodes": 24, | |
| "edges": 29, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Security & Cryptography" | |
| }, | |
| { | |
| "id": "security-intrusion-detection", | |
| "name": "Intrusion Detection", | |
| "subcategory": "security", | |
| "subcategory_name": "Security & Cryptography", | |
| "complexity": "medium", | |
| "nodes": 24, | |
| "edges": 29, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Security & Cryptography" | |
| }, | |
| { | |
| "id": "security-memory-management", | |
| "name": "Memory Management", | |
| "subcategory": "security", | |
| "subcategory_name": "Security & Cryptography", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 3, | |
| "domainContext": "Security & Cryptography" | |
| }, | |
| { | |
| "id": "security-process-management", | |
| "name": "Process Management", | |
| "subcategory": "security", | |
| "subcategory_name": "Security & Cryptography", | |
| "complexity": "medium", | |
| "nodes": 22, | |
| "edges": 25, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Security & Cryptography" | |
| }, | |
| { | |
| "id": "security-public-key-infrastructure-pki", | |
| "name": "Public Key Infrastructure (PKI)", | |
| "subcategory": "security", | |
| "subcategory_name": "Security & Cryptography", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 3, | |
| "domainContext": "Security & Cryptography" | |
| }, | |
| { | |
| "id": "security-secure-software-update", | |
| "name": "Secure Software Update", | |
| "subcategory": "security", | |
| "subcategory_name": "Security & Cryptography", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 3, | |
| "domainContext": "Security & Cryptography" | |
| }, | |
| { | |
| "id": "software_engineering-code-review-workflow", | |
| "name": "Code Review Workflow", | |
| "subcategory": "software_engineering", | |
| "subcategory_name": "Software Engineering", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Software Engineering" | |
| }, | |
| { | |
| "id": "software_engineering-continuous-integration-pipeline", | |
| "name": "Continuous Integration Pipeline", | |
| "subcategory": "software_engineering", | |
| "subcategory_name": "Software Engineering", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Software Engineering" | |
| }, | |
| { | |
| "id": "software_engineering-incident-response", | |
| "name": "Incident Response", | |
| "subcategory": "software_engineering", | |
| "subcategory_name": "Software Engineering", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 3, | |
| "domainContext": "Software Engineering" | |
| }, | |
| { | |
| "id": "software_engineering-machine-learning", | |
| "name": "Machine Learning", | |
| "subcategory": "software_engineering", | |
| "subcategory_name": "Software Engineering", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Software Engineering" | |
| }, | |
| { | |
| "id": "software_engineering-natural-language-processing", | |
| "name": "Natural Language Processing", | |
| "subcategory": "software_engineering", | |
| "subcategory_name": "Software Engineering", | |
| "complexity": "medium", | |
| "nodes": 22, | |
| "edges": 25, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 3, | |
| "domainContext": "Software Engineering" | |
| }, | |
| { | |
| "id": "software_engineering-neural-network", | |
| "name": "Neural Network", | |
| "subcategory": "software_engineering", | |
| "subcategory_name": "Software Engineering", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 3, | |
| "domainContext": "Software Engineering" | |
| }, | |
| { | |
| "id": "software_engineering-requirements-engineering", | |
| "name": "Requirements Engineering", | |
| "subcategory": "software_engineering", | |
| "subcategory_name": "Software Engineering", | |
| "complexity": "medium", | |
| "nodes": 22, | |
| "edges": 25, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Software Engineering" | |
| }, | |
| { | |
| "id": "systems-container-orchestration", | |
| "name": "Container Orchestration", | |
| "subcategory": "systems", | |
| "subcategory_name": "Systems & Architecture", | |
| "complexity": "medium", | |
| "nodes": 22, | |
| "edges": 25, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Systems & Architecture" | |
| }, | |
| { | |
| "id": "systems-file-system-journaling", | |
| "name": "File System Journaling", | |
| "subcategory": "systems", | |
| "subcategory_name": "Systems & Architecture", | |
| "complexity": "medium", | |
| "nodes": 22, | |
| "edges": 25, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Systems & Architecture" | |
| }, | |
| { | |
| "id": "systems-network-performance", | |
| "name": "Network Performance", | |
| "subcategory": "systems", | |
| "subcategory_name": "Systems & Architecture", | |
| "complexity": "medium", | |
| "nodes": 24, | |
| "edges": 29, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Systems & Architecture" | |
| }, | |
| { | |
| "id": "systems-network-protocol", | |
| "name": "Network Protocol", | |
| "subcategory": "systems", | |
| "subcategory_name": "Systems & Architecture", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Systems & Architecture" | |
| }, | |
| { | |
| "id": "systems-network-security", | |
| "name": "Network Security", | |
| "subcategory": "systems", | |
| "subcategory_name": "Systems & Architecture", | |
| "complexity": "medium", | |
| "nodes": 24, | |
| "edges": 29, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Systems & Architecture" | |
| }, | |
| { | |
| "id": "systems-process-scheduling", | |
| "name": "Process Scheduling", | |
| "subcategory": "systems", | |
| "subcategory_name": "Systems & Architecture", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Systems & Architecture" | |
| }, | |
| { | |
| "id": "systems-virtual-memory-paging", | |
| "name": "Virtual Memory Paging", | |
| "subcategory": "systems", | |
| "subcategory_name": "Systems & Architecture", | |
| "complexity": "medium", | |
| "nodes": 22, | |
| "edges": 25, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Systems & Architecture" | |
| }, | |
| { | |
| "id": "theory-animation", | |
| "name": "Animation", | |
| "subcategory": "theory", | |
| "subcategory_name": "Theoretical Computer Science", | |
| "complexity": "medium", | |
| "nodes": 25, | |
| "edges": 31, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Theoretical Computer Science" | |
| }, | |
| { | |
| "id": "theory-automata-construction", | |
| "name": "Automata Construction", | |
| "subcategory": "theory", | |
| "subcategory_name": "Theoretical Computer Science", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Theoretical Computer Science" | |
| }, | |
| { | |
| "id": "theory-computational-complexity-analysis", | |
| "name": "Computational Complexity Analysis", | |
| "subcategory": "theory", | |
| "subcategory_name": "Theoretical Computer Science", | |
| "complexity": "medium", | |
| "nodes": 22, | |
| "edges": 25, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Theoretical Computer Science" | |
| }, | |
| { | |
| "id": "theory-formal-verification", | |
| "name": "Formal Verification", | |
| "subcategory": "theory", | |
| "subcategory_name": "Theoretical Computer Science", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 3, | |
| "domainContext": "Theoretical Computer Science" | |
| }, | |
| { | |
| "id": "theory-geometric-modeling", | |
| "name": "Geometric Modeling", | |
| "subcategory": "theory", | |
| "subcategory_name": "Theoretical Computer Science", | |
| "complexity": "medium", | |
| "nodes": 24, | |
| "edges": 29, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Theoretical Computer Science" | |
| }, | |
| { | |
| "id": "theory-rendering", | |
| "name": "Rendering", | |
| "subcategory": "theory", | |
| "subcategory_name": "Theoretical Computer Science", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 4, | |
| "domainContext": "Theoretical Computer Science" | |
| }, | |
| { | |
| "id": "theory-type-system-checking", | |
| "name": "Type System Checking", | |
| "subcategory": "theory", | |
| "subcategory_name": "Theoretical Computer Science", | |
| "complexity": "medium", | |
| "nodes": 23, | |
| "edges": 27, | |
| "orGates": 4, | |
| "andGates": 1, | |
| "totalGates": 9, | |
| "conditionals": 4, | |
| "notGates": 4, | |
| "loops": 2, | |
| "domainContext": "Theoretical Computer Science" | |
| } | |
| ] | |
| } | |