Movatterモバイル変換

Skip to content

#

sdd

Here are 44 public repositories matching this topic...

Language:All

Filter by language

All44 HTML7 Python7 Java4 C++2 JavaScript2 PHP2 R2 C1 C#1 CSS1

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

ML-KULeuven /PySDD

Python package for Sentential Decision Diagrams (SDD)

python cython model-counting sdd weighted-model-counting knowledge-compilation

UpdatedFeb 21, 2025
C

sjefvanleeuwen /showcase

A Full Stack Journey with Micro Services and Micro Front Ends. Using dapr, kubernetes, react module federation and web assembly,

react graphql-client graphql kubernetes devops microservice simulation integration-testing gateway stitching graphql-server fullstack micro-service sdd graphql-gateway micro-frontend feature-team dapr module-federation simulation-driven-development

UpdatedMar 30, 2021
JavaScript

ashkanRmk /educational-projects

📚 Fundamental and Advanced Programming, Data Structure, OS Lab and Principle of Compiler Courses Educational Projects

c-plus-plus lab university-project python3 educational roman-numerals hacktoberfest sdd syntax-directed-definition

UpdatedApr 16, 2023
C++

d1024choi /traj-pred-irl

Official implementation of "Regularizing neural networks for future trajectory prediction via IRL framework" published in IET CV

machine-learning computer-vision tensorflow regularization crowd datasets trajectory-prediction sdd

UpdatedJul 20, 2022
Python

mahmoudai1 /school-management-system

School Management System developed by PHP and MySQL.

mysql php prototype system mysql-database srs diagrams system-architecture school-management class-diagram sdd software-requirement-specification school-management-system school-system usecase-diagram software-design-documentation functional-requirements school-management-software-php system-overview non-functional-requirements

UpdatedNov 24, 2023
PHP

KBtechnologies /NeoFloppy

A new storage media format using modern interfaces.

disk media drive ssd floppy sdd floppy-disks diskette floppy-drives stiffy removeable-media media-format

UpdatedJul 21, 2023

smuhabdullah /Sugarcane_project_3rd_Milestone

Final Year Project (Sugarcane disease detector)

machine-learning sugarcane sdd disease-prediction sugarcanedisease disease-detector

UpdatedOct 16, 2023
SCSS

whitemech /cynthia

SDD-based Forward LTLf Synthesis

cpp linear-temporal-logic sdd and-or-graphs and-or-search sentential-decision-diagram finite-synthesis temporal-logics-on-finite-traces

UpdatedJan 15, 2023
C++

boloto1979 /Security-Driven-Development

Security-Driven Development (SDD) where cybersecurity is not an add-on, but the core of our software creation process. Committed to best practices, we follow a development cycle that integrates security analysis, defensive design and secure coding from the first commit.

development sdd cibersecurity security-driven-development

UpdatedMar 29, 2024
PHP

nxk5167 /TeamCmpsc431

UpdatedApr 28, 2018
HTML

jsfpdn /sdd-rs

Bottom-up sentential decision diagram compiler.

model-counting sdd knowledge-compilation satisfiability-problem decision-diagram sentential-decision-diagram model-enumeration

UpdatedDec 16, 2024
Rust

oliviax727 /SDD_Major_Work

Here is my Software Major Project

UpdatedMar 28, 2024
JavaScript

kashishahuja2002 /Sad-Assignment

Created for undertsanding of all the important analysis and design documents prepared during SDLC of any product. Submitted as assignment for system analysis and design subject in 5th semester of M.Tech(IT).

srs sad sdd stp spmp

UpdatedMay 30, 2024

madrypiotr /SDD

The Deliberative-Decision System. A tool of heterarchic management by ALL

community freedom social-network management equality voting-application referendum heterarchy voting-app agora sdd voting-system social-system management-program organizational-network democration brotherhood deliberative-decision-system

UpdatedOct 11, 2020
HTML

shrugify /skribbl-wordlists

Custom wordlists for skribbl.io

UpdatedJan 18, 2023

Hamahmi /CompilersLabTests

Test cases for ACL tasks

python java lisp compiler antlr python3 antlr4 compilers sdt syntax-analysis syntax-directed-translation java-test sdd syntaxanalyser syntax-analyzer syntax-directed-definition antlr4-python3 java-junit first-follow-compiler first-follow-sets

UpdatedMay 20, 2020
Java

industrialtablet /Video-Server-NVR-Box-with-Networkoptix-Server

Video Server NVR Box with Networkoptix Server, RK3588, 4GB, for 3.5" HDD/SSD

linux ai debian ubuntu high-performance nvr hdd sbc video-server sdd networkoptix rk3588 nvr-box networkoptix-server

UpdatedMay 29, 2024

kadavris /monitoring

Hardware/software state reporting and analysis tools: MQTT, S.M.A.R.T., etc

mqtt json mikrotik monitoring health-check power ups hdd sdd hdd-health

UpdatedMar 3, 2025
Python

viogull /jasio

Simple utility about basic system`s and S.M.A.R.T. information.

smart info hdd sdd

UpdatedMay 6, 2017
C#

KevinFroissart /DUT-SDD

Java programs made during my Associate's Degree at the University of Lille

UpdatedApr 5, 2023
Java

Improve this page

Add a description, image, and links to thesdd topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thesdd topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp