Skip to content

@URV-teacher URV

Change the repository type filter

All

    Repositories list

    12 repositories

    • tot-icon

      Public
      Repo to store the photoshop project for creating tot icons
      The Unlicense
      •0•0•0•0•Updated Aug 3, 2025Aug 3, 2025

    • desmume-cli

      Public
      Docker for desmume-cli
      tot-componentide-component
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jul 29, 2025Jul 29, 2025

    • filesystem-nds

      Public
      Repository to find a way to write files to a file system outside of the .nds binary
      Makefile
      •
      GNU General Public License v3.0
      •2•0•0•0•Updated Jul 3, 2025Jul 3, 2025

    • nds-savefile-io

      Public archive
      Test NDS savefile as a method for I/O on the NDS
      Makefile
      •
      GNU General Public License v3.0
      •2•0•0•0•Updated Jun 30, 2025Jun 30, 2025

    • computers-practical-corrections

      Public archive
      Code to automatize the correction of practical exercises from the Computers subject of URV using JProfes software (not included!)
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 30, 2025Jun 30, 2025

    • tot

      Public
      CLI to manage the stages of the corrections workflow of the subject Computers and related subjects in the URV
      tot-component
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 30, 2025Jun 30, 2025

    • repo-updater

      Public
      Clones Git repos from the private servers of the DEIM
      tot-component
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 30, 2025Jun 30, 2025

    • arm-syntax-vscode-extension

      Public
      ARM v5 syntax highlight for VSCode
      tot-componentide-component
      JavaScript
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Jun 29, 2025Jun 29, 2025

    • hello-world-nds

      Public
      Hello World program for the NDS
      Makefile
      •
      GNU General Public License v3.0
      •2•0•0•0•Updated Jun 28, 2025Jun 28, 2025

    • bmde-linux

      Public
      Port of the BMDE environment to Linux from the URV subject Computer Fundamentals, Computers and Operating System Structure
      tot-componentide-component
      Dockerfile
      •
      GNU General Public License v3.0
      •0•0•1•0•Updated Jun 25, 2025Jun 25, 2025

    • hosting

      Public
      Repository to store and serve assets.
      GNU General Public License v3.0
      •1•0•0•0•Updated Feb 20, 2025Feb 20, 2025

    • NDS-comp-env

      Public archive
      Compile NDS projects in Linux environments using Docker
      Dockerfile
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Feb 18, 2025Feb 18, 2025