Skip to content

@URV-teacher URV

Change the repository type filter

All

    Repositories list

    17 repositories

    • bmde

      Public
      CLI wrapper over BMDE
      Python
      •
      GNU General Public License v3.0
      •0•0•15•2•Updated Apr 28, 2026Apr 28, 2026

    • vscode-arm-syntax-docker

      Public
      VS Code container with the ARM extension already loaded in
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 11, 2026Jan 11, 2026

    • insight-docker

      Public
      Docker implementation of insight, a graphical frontend for the GDB debugger, developed by RedHat
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 11, 2026Jan 11, 2026

    • grit-docker

      Public
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 11, 2026Jan 11, 2026

    • git-urv-vpn-docker

      Public
      Clones Git repos from the private servers of the DEIM
      tot-component
      tot-component
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 11, 2026Jan 11, 2026

    • desmume-docker

      Public
      Docker for desmume-cli
      tot-componentide-component
      tot-componentide-component
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 11, 2026Jan 11, 2026

    • arm-syntax-vscode-extension

      Public
      ARM v5 syntax highlight for VSCode
      bmde-component
      bmde-component
      JavaScript
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Jan 11, 2026Jan 11, 2026

    • devkitarm-nds-docker

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

    • dlditool-docker

      Public
      Port of dlditool for patching NDS binaries to use FAT library inside a Doker container
      Dockerfile
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 1, 2026Jan 1, 2026

    • hosting

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

    • delivery-validator

      Public
      To validate the JSON of the deliveries of Computers
      Python
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Dec 14, 2025Dec 14, 2025

    • hello-world-nds

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

    • 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

    • 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

    • 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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.