sdd

There are 0 repository under sdd topic.

• sjefvanleeuwen / showcase

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

  daprgraphqlmicroservicemicro-servicefeature-teamdevopskubernetesmicro-frontendstitchinggraphql-servergraphql-clientgatewaygraphql-gatewayfullstacksimulationsddsimulation-driven-developmentintegration-testingmodule-federationreact
  Language:JavaScript 49

• wannesm / PySDD

  Python package for Sentential Decision Diagrams (SDD)

  cythonknowledge-compilationmodel-countingpythonsddweighted-model-counting
  Language:Cython 49

• ashkanRmk / educational-projects

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

  c-plus-pluseducationaluniversity-projectlabsddroman-numeralssyntax-directed-definitionpython3hacktoberfest
  Language:C++ 37

• d1024choi / traj-pred-irl

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

  computer-visioncrowddatasetsmachine-learningregularizationsddtensorflowtrajectory-prediction
  Language:Python 30

• mahmoudai1 / school-management-system

  School Management System developed by PHP and MySQL.

  class-diagramdiagramsfunctional-requirementsmysqlmysql-databasenon-functional-requirementsphpprototypeschool-managementschool-management-software-phpschool-management-systemschool-systemsddsoftware-design-documentationsoftware-requirement-specificationsrssystemsystem-architecturesystem-overviewusecase-diagram
  Language:PHP 18

• KBtechnologies / NeoFloppy

  A new storage media format using modern interfaces.

  diskettefloppyfloppy-disksfloppy-drivesstiffydiskdrivemediasddssdmedia-formatremoveable-media
  9

• jsfpdn / sdd-rs

  Bottom-up sentential decision diagram compiler.

  sddsatisfiabilitydecision-diagramssentential-decision-diagrammodel-counting
  Language:Rust 4

• nxk5167 / TeamCmpsc431

  sdd
  Language:HTML 4

• Olivex727 / SDD_Major_Work

  Here is my Software Major Project

  sdd
  Language:JavaScript 4

• smuhabdullah / Sugarcane_project_3rd_Milestone

  Final Year Project (Sugarcane disease detector)

  disease-predictionmachine-learningsddsugarcanesugarcanediseasedisease-detector
  Language:SCSS 4

• whitemech / cynthia

  SDD-based Forward LTLf Synthesis

  linear-temporal-logicfinite-synthesisand-or-graphsand-or-searchcppsddsentential-decision-diagramtemporal-logics-on-finite-traces
  Language:C++ 4

• 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).

  sadsddspmpsrsstp
  3

• madrypiotr / SDD

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

  heterarchycommunitymanagementsocial-systemsddmanagement-programvoting-systemvoting-applicationvoting-appreferendumagoraorganizational-networksocial-networkdemocrationfreedomequalitybrotherhooddeliberative-decision-system
  Language:HTML 3

• 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.

  cibersecuritydevelopmentsddsecurity-driven-development
  Language:PHP 2

• Hamahmi / CompilersLabTests

  Test cases for ACL tasks

  compilerscompilersyntax-analyzersyntaxanalysersyntax-analysisfirst-follow-compilerfirst-follow-setsjava-junitjava-testpythonpython3antlrjavalispsddsyntax-directed-definitionsyntax-directed-translationsdtantlr4antlr4-python3
  Language:Java 2

• kadavris / monitoring

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

  mqttmonitoringhddsddhealth-checkjsonupspower
  Language:Python 2

• shrugify / skribbl-wordlists

  Custom wordlists for skribbl.io

  skribblsdd
  2

• KevinFroissart / DUT-SDD

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

  javasdd
  Language:Java 1

• MakkyJane / design-development

  design and development project of a secured server

  hashhtmlnistsddsha-3
  1

• viogull / jasio

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

  smarthddsddinfo
  Language:C# 1

• cortosi / LFT-2020-2021

  Project of: Formal Languages and Compilers

  finite-state-machineformal-languagesgrammarslexerparserparsingsddsdtunitouniversity-project
  Language:Java 0

• larrabyte / boggler

  A text-based Python game made for the SDD course.

  gamepythonsddtext
  Language:Python 0

• amtoine / animal-crossing-db-study

  A project to explore noSQL languages, here redis.

  projectisaesupaeroisae-supaerosdddatabaseredispostgresqlkaggleanimal-crossing-new-horizons
  Language:Python

• amtoine / CTF.2021

  A Linux and git capture the flag

  isaesupaeroisae-supaerosddclassprojectcapture-the-flaglinuxgitssh
  Language:Shell

• amtoine / graphs

  A very small library implementing graph functions seen during ISAE-Supaero's SDD class about graph optimization.

  isaesupaerosddisae-supaeroclasslibraryprojectgraphs
  Language:Python

• amtoine / imgDesc

  Assignment at ISAE-Supaero in the SDD class. The goal is to explain and develop a notebook about a given ML subject.

  deep-learningisae-supaerosdd
  Language:Jupyter Notebook

• amtoine / mcdm

  Assignment at ISAE-Supaero about Multiple Criteria Decision Making.

  decision-makingisae-supaerosddlinear-programming
  Language:Python

• amtoine / tatami

  Constraint programming projet for the SDD class in Supaero.

  pythonsddisaesupaeroisae-supaeroprojectlinear-programmingoptimization
  Language:Python

• BioDataScience-Course / A06Ga_belgium_demo

  Exercice sur la démographie en Belgique

  sddsdd1umonstemplate
  Language:R

• BioDataScience-Course / B01Ga_reglin1

  Template employé pour réaliser des exercices ciblés sur le module 01 du Science des données biologiques II

  templatesddsdd2umons

• BioDataScience-Course / B08Ia_mfa

  Template d'exercices sur l'AFM

  templatesddsdd2umons
  Language:R

• BioDataScience-Course / C01Ia_21_ml1

  Projet cadré afin de découvrir l'analyse discriminante linéaire

  templatesddsdd3umons

• BioDataScience-Course / C05Ga_tsd

  Série d'exercice sur la décomposition de séries spatio-teporelles

  sddsdd3sdd3-05umonstemplate

• BioDataScience-Course / D07Ga_data

  Template employé pour réaliser des exercices ciblés sur le module 07 du Science des données biologiques III

  templateumonssddsdd4

• BioDataScience-Course / sdd2_module08

  Projet cadré d'exercice sur le module 08

  templatesddumonssdd2module08
  Language:HTML

• mareloraby / MatrixSDD

  SDD written in antlr for a CFG to generate a matrix of digits in a certain format

  antlrcfgmatrixsdd
  Language:Java