univr

There are 0 repository under univr topic.

• sis-arm

  Francesco146 / sis-arm

  Logic synthesis system from UC Berkeley, and the modern shell for SIS (bSIS). Now on Docker containers

  bsissisunivrbettersis
  Language:Dockerfile 7
• betterSIS

  mario33881 / betterSIS

  The modern shell for SIS (the circuit simulator and optimizer)

  blifsispythonunivr
  Language:Python 7
• BE-PassportEase

  Francesco146 / BE-PassportEase

  BackEnd of a computer system to manage the reservation service for passport issuance for a Police Headquarters, which has multiple locations in the territory.

  univr
  Language:Java 3

• hexwell / university-notes

  algebraanalisiscalculuslatexunibsnotescategory-theorymathematicsunivruniversity
  Language:TeX 3

• arc6-202021 / lib_componenti_sis

  Elaborato SIS di architettura degli elaboratori (anno 2020-2021), ed altri componenti

  blifsiselaboratounivruniversity-project
  Language:Python 2

• mario33881 / vscode-blif

  BLIF (SIS' Berkeley Logic Interchange Format) highlight and autocomplete extension for Visual Studio Code

  blifvscode-blifvisual-studioautocompletionsisunivrautocomplete-keywordssyntax-highlighting
  Language:Python 2

• AlMax / Elaborato_Sis

  Elaborato nel linguaggio sis per UniVr (Primo anno Architettura degli elaboratori)

  sisunivr
  1

• francescotaioli / univr_assembly

  Elaborato assembly univr 2018

  asmasmx86assemblyelaboratomakefileunivr
  Language:Assembly 1
• siswrapper

  mario33881 / siswrapper

  SIS (circuit simulator and optimizer) wrapper for Python

  sispythonblifunivr
  Language:Python 1

• seekbytes / oslab

  Documentation for OS Class [LAB part] UniVR 2021-2022

  syscallunivrosdevhugo-siteoshugohugo-theme
  Language:CSS 1

• tbimbato / Morra-Cinese-UniVR

  Questo progetto è incentrato sulla realizzazione di un sistema FSMD per il gioco della Morra Cinese. All'interno di questa repository, troverai i codici sorgenti scritti in linguaggio hardware Verilog e SiS (blif), insieme a tutti i moduli .blif relativi alla progettazione a gate level in SiS.

  bliffsmdsisunivrverilog
  Language:TeX 1

• z1ko / UVRSDB

  UniVR Science Discord Bot

  discordbotunivr
  Language:Python 1

• blasco991 / AI

  AI course project

  openaiopenai-gymunivr
  Language:Python 0

• DavideCremoninii / Arduino

  University Project about Arduino and Esp32, using Flask and Plotly too.

  arduinoesp32firebaseflaskplotlypythonunivr
  Language:C++ 0

• edoardopieropan / ros_turtle

  First simple example of a ROS application

  rosunivruniversity-projectciber
  Language:CMake 0

• edoardopieropan / so_ipc

  Secondo elaborato IPC del corso di Sistemi Operativi 2017 - UniVR

  sistemi-operativioperating-systemipcuniversityunivr
  Language:C 0

• edoardopieropan / so_shell

  Primo elaborato Shell del corso di Sistemi Operativi 2017 - UniVR

  sistemi-operativioperating-systemshelluniversityunivr
  Language:Shell 0

• edoardopieropan / trim_image_roi

  Trim a 3D volume (slices) based on its ROI.

  roivoi3d-imagestrimcrop-imageunivrvolume3d-volume
  Language:Python 0
• ttr_traffic_sign_classification

  edoardopieropan / ttr_traffic_sign_classification

  Machine Learning method to perform classification on Traffic Signs. Visual Computing UNIVR.

  svm-classifiermachine-learningtraffic-sign-classificationuniversity-projectunivr
  Language:Python 0

• edoardopieropan / twitter_fake_news

  Semantic Web project. Tweets analysis comparing the text with fact checking websites.

  semantic-webpythonuniversity-projectunivrfact-checking
  Language:Python 0

• GiovanniBellorio / Compiler-of-taint-analysis

  Interpreter built in OCaml

  ocamlprojectunivrtesi
  Language:OCaml 0

• matteocastagnaro / sistemi-operativi-bash

  Primo elaborato Sistemi Operativi A.A. 2013/2014 - BASH

  bashoperativesystemsprojectuniversity-of-veronaunivr
  Language:Shell 0

• matteocastagnaro / sistemi-operativi-ipc

  Secondo (e Terzo) elaborato Sistemi Operativi A.A. 2013/2014 - IPC/Thread

  c-languageipcsystem-callsuniversity-of-veronaunivr
  Language:HTML 0

• NicolaDes / ariadneExample

  An example of ariadne utilization.

  ariadneverificaitonwatertankunivrveronaformal
  Language:C++ 0

• NicolaDes / SATIVA

  SAT solver using CDCL procedure and watched literals, VSIDS herustics.

  sat-solvercdclunivrsativasatunsatproofvsidsliterals
  Language:C++ 0

• RustemL02 / Elaborato-SIS

  SIS project for the Computer Architecture course at University of Verona.

  univruniversitysiscomputer-sciencecomputer-architectureberkeley-sisuniversity-of-verona
  0

• Sennar02 / elaborato-asm

  Assembly project for the Computer Architecture course at the University of Verona.

  computer-architecturecomputer-scienceuniversityunivrx86asmassembly
  Language:Assembly 0

• AlexPasqua / IntensiveCareManagementSystem

  A software to manage an intensive care system. Initially created as a project for "Software Engineering" course at UniVR

  javajavafxjavafx-desktop-appsunivr
  Language:Java

• AlexPasqua / system-calls

  Project for "Operating Systems" course at Unviversity of Verona

  operating-systemslinuxsyscallscsystem-callsosunivr
  Language:C

• GiacomoFerro / Progetto-Bash

  Shell project

  passwd-managerunivruser-management
  Language:Shell

• mario33881 / cookiecutter-javafx_fxml_junit

  Cookiecutter template for Java applications that use JavaFX + JavaFX FXML for their GUI and JUnit for unit testing

  cookiecutter-templatefxmljavafxunivr
  Language:Python

• mario33881 / cookiecutter-javafx_junit

  Cookiecutter template for Java applications that use JavaFX for their GUI and JUnit for unit testing

  cookiecutter-templatejavafxunivr
  Language:Python

• mario33881 / des-fpga

  DES algorithm implementation in Verilog. Progetto per il corso FPGA

  fpgaunivrverilog
  Language:Python

• mario33881 / sublime-blif_sis

  BLIF (SIS' Berkeley Logic Interchange Format) syntax highlighter and autocompleter package for Sublime Text

  sublime-textsyntax-highlightingsisblifunivr
  Language:Python